Merge pull request #7 from nickel-lang/let-rec

Add "rec" keyword for let bindings
nickel-lang · Apr 29, 2022 · c4dd142 · c4dd142
2 parents ebc0a3f + 89b275a
commit c4dd142
Show file tree

Hide file tree

Showing 6 changed files with 16,888 additions and 14,258 deletions.
diff --git a/corpus/let-rec.txt b/corpus/let-rec.txt
@@ -0,0 +1,27 @@
+================================================================================
+let rec
+================================================================================
+
+let rec x = x in x
+
+--------------------------------------------------------------------------------
+
+(term
+  (uni_term
+    (let_expr
+      (pattern
+        (ident))
+      (term
+        (uni_term
+          (infix_expr
+            (applicative
+              (record_operand
+                (atom
+                  (ident)))))))
+      (term
+        (uni_term
+          (infix_expr
+            (applicative
+              (record_operand
+                (atom
+                  (ident))))))))))
diff --git a/grammar.js b/grammar.js
@@ -107,6 +107,7 @@ module.exports = grammar({
 
     let_expr: $ => seq(
       "let",
+      optional("rec"),
       field("pat", $.pattern),
       field("meta", optional($.annot)),
       "=",

diff --git a/queries/highlights.scm b/queries/highlights.scm
@@ -9,6 +9,7 @@
   "let"
   "default"
   "doc"
+  "rec"
 ] @keyword
 
 "fun" @keyword.function

diff --git a/src/grammar.json b/src/grammar.json
@@ -158,6 +158,18 @@
           "type": "STRING",
           "value": "let"
         },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "STRING",
+              "value": "rec"
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
         {
           "type": "FIELD",
           "name": "pat",

diff --git a/src/node-types.json b/src/node-types.json
@@ -1571,6 +1571,10 @@
     "type": "num_literal",
     "named": true
   },
+  {
+    "type": "rec",
+    "named": false
+  },
   {
     "type": "str_esc_char",
     "named": true