Merge pull request #279 from mgreminger/pi-units

feat: implement units applied to pi
mgreminger · Sep 29, 2024 · 916cac0 · 916cac0
2 parents cce9e40 + c2d8589
commit 916cac0
Show file tree

Hide file tree

Showing 4 changed files with 767 additions and 685 deletions.
diff --git a/src/parser/LatexParser.g4 b/src/parser/LatexParser.g4
@@ -17,7 +17,7 @@ id: ID ;
 
 number: SUB? NUMBER ;
 
-number_with_units: number u_block;
+number_with_units: (number | PI | id) u_block;
 
 assign: (id | PI) EQ expr ; // recognize PI here so that error can be generated for assigning to pi