Exp to Segment

hazelgrove · May 1, 2024 · 679be52 · 679be52
1 parent 4722680
commit 679be52
Show file tree

Hide file tree

Showing 9 changed files with 521 additions and 67 deletions.
diff --git a/src/haz3lcore/lang/Form.re b/src/haz3lcore/lang/Form.re
@@ -331,7 +331,7 @@ let forms: list((string, t)) = [
 ];
 
 let get: String.t => t =
-  name => Util.ListUtil.assoc_err(name, forms, "Forms.get");
+  name => Util.ListUtil.assoc_err(name, forms, "Forms.get : " ++ name);
 
 let delims: list(Token.t) =
   forms

diff --git a/src/haz3lcore/lang/Precedence.re b/src/haz3lcore/lang/Precedence.re
@@ -19,6 +19,7 @@ let unquote = 1;
 let cast = 2;
 let ap = 3;
 // _____(x)
+// - _____
 let neg = 4;
 // _____ ** 2
 let power = 5;