rename lambda list to sequence

billhails · Dec 1, 2024 · 7b36055 · 7b36055
1 parent edccc34
commit 7b36055
Show file tree

Hide file tree

Showing 15 changed files with 43 additions and 365 deletions.
diff --git a/fn/infer.fn b/fn/infer.fn
diff --git a/fn/normalize.fn b/fn/normalize.fn
diff --git a/fn/rewrite/README.md b/fn/rewrite/README.md
@@ -5,8 +5,10 @@ this to be practical we would need to target LLVM rather than a bytecode
 interpreter.
 
 * [ceskf.fn](ceskf.fn) - The core CESKF machine.
+* [infer.fn](infer.fn) - Type inference.
 * [interpreter.fn](interpreter.fn) - A naïve lambda interpreter demo.
-* [petterson92.fn](petterson92.fn) - Pettersson's Term Pattern Matching Compiler.
+* [normalize.fn](normalize.fn) - ANF conversion.
+* [petterson92.fn](petterson92.fn) - Pettersson's Term Pattern Matching Compiler algorithm.
 * [pratt.fn](pratt.fn) - Pratt Parser.
    * [pratt_lexer.fn](pratt_lexer.fn) - Lexer Support for the Parser.
    * [pratt_sexpr.fn](pratt_sexpr.fn) - Target Symbolic Expressions for the parser.
diff --git a/src/anf.yaml b/src/anf.yaml
@@ -64,11 +64,6 @@ structs:
         integer: int
         next: AexpIntList
 
-    CexpApply:
-        function: Aexp
-        nargs: int
-        args: AexpList
-
     AexpMakeVec:
         nargs: int
         args: AexpList
@@ -81,6 +76,11 @@ structs:
         namespaces: AexpNamespaceArray
         body: Exp
 
+    CexpApply:
+        function: Aexp
+        nargs: int
+        args: AexpList
+
     CexpIf:
         condition: Aexp
         consequent: Exp
@@ -104,21 +104,11 @@ structs:
         condition: Aexp
         clauses: MatchList
 
-    MatchList:
-        matches: AexpIntList
-        body: Exp
-        next: MatchList
-
     CexpLetRec:
         nbindings: int
         bindings: LetRecBindings
         body: Exp
 
-    LetRecBindings:
-        var: HashSymbol
-        val: Aexp
-        next: LetRecBindings
-
     CexpAmb:
         exp1: Exp
         exp2: Exp
@@ -136,6 +126,16 @@ structs:
         annotatedVar: AexpAnnotatedVar = NULL
         body: Exp
 
+    MatchList:
+        matches: AexpIntList
+        body: Exp
+        next: MatchList
+
+    LetRecBindings:
+        var: HashSymbol
+        val: Aexp
+        next: LetRecBindings
+
 unions:
     CexpCondCases:
         charCases: CexpCharCondCases