From: Mark Thom Date: Tue, 17 Apr 2018 04:00:30 +0000 (-0600) Subject: add functional notation for operators. X-Git-Tag: v0.8.110~490^2~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c02c88b6f09a22a318ce89137746d22efbacea4e;p=scryer-prolog.git add functional notation for operators. --- diff --git a/src/prolog/io.rs b/src/prolog/io.rs index 85e5330c..1b005bd3 100644 --- a/src/prolog/io.rs +++ b/src/prolog/io.rs @@ -679,6 +679,7 @@ pub fn compile_listing(wam: &mut Machine, src_str: &str) -> EvalSession .or_insert(CodeIndex::default()); index.0.set(IndexPtr::Index(p)); + index.1 = module_name; } decl_info.label_clauses(p, &mut code_dir, &mut decl_code); diff --git a/src/prolog/parser b/src/prolog/parser index 0e9dd3a0..1b3bcc77 160000 --- a/src/prolog/parser +++ b/src/prolog/parser @@ -1 +1 @@ -Subproject commit 0e9dd3a01f21c6457bd1bcb35518ccdb502c82bd +Subproject commit 1b3bcc77f2b9d264c9753653ae87bfa3b4c11081