Resolve grammar bugs; Pass tests

corpus/tests.txt

@@ -70,8 +70,9 @@ String
 ---
 
 (source_file
-	(value
+	(expression
-		(string)))
+		(value
+			(string))))
 
 ==================
 Integer
@@ -82,8 +83,9 @@ Integer
 ---
 
 (source_file
-	(value
+	(expression
-		(integer)))
+		(value
+			(integer))))
 
 ==================
 Float
@@ -94,8 +96,9 @@ Float
 ---
 
 (source_file
-	(value
+	(expression
-		(float)))
+		(value
+			(float))))
 
 
 ==================
@@ -107,12 +110,15 @@ List
 ---
 
 (source_file
-	(value
+	(expression
-        (list
+    	(value
-          	(value
+      		(list
-            	(integer)))
+        		(expression
-          	(value
+          			(value
-            	(integer))))
+            			(integer)))
+        		(expression
+          			(value
+            	(integer)))))))
 
 ==================
 Empty
@@ -123,8 +129,9 @@ Empty
 ---
 
 (source_file
-	(value
+	(expression
-		(empty)))
+		(value
+			(empty))))
 
 ==================
 Tool
@@ -137,8 +144,23 @@ random_boolean();
 (source_file
 	(expression
 		(tool))
-	(value
+	(expression
-		(empty))
+		(value
-	(chain))
+			(empty)))
+		(chain))
 
+==================
+Boolean
+==================
 
+true false
+
+---
+
+(source_file
+	(expression
+		(value
+			(boolean)))
+	(expression
+		(value
+			(boolean))))

grammar.js

@@ -5,18 +5,15 @@ module.exports = grammar({
     source_file: $ => repeat(choice(
       $.comment, 
       $.expression,
-      $.value,  
       $.yield,
       $.chain
     )),
 
-    comment: $ => /(#)(.+?)([\n\r])/,
-
     expression: $ => choice(
-      $.identifier,
+      prec(2, $.value),
+      prec(1, $.identifier),
       $.tool,
       seq($.identifier, $.operator, $.expression),
-      seq($.value, $.operator, $.value)
     ),
 
     value: $ => choice(
@@ -25,7 +22,10 @@ module.exports = grammar({
       $.string,
       $.list,
       $.empty,
+      $.boolean,
     ),
+  
+    comment: $ => /(#)(.+?)([\n\r])/,
 
     yield: $ => "->",
 
@@ -60,6 +60,11 @@ module.exports = grammar({
 
     empty: $ => "()",
 
+    boolean: $ => choice(
+      "true",
+      "false"
+    ),
+
     list: $ => seq(
       '(',
       repeat1(seq($.expression, optional(','))),

src/grammar.json

@@ -14,10 +14,6 @@
             "type": "SYMBOL",
             "name": "expression"
           },
-          {
-            "type": "SYMBOL",
-            "name": "value"
-          },
           {
             "type": "SYMBOL",
             "name": "yield"
@@ -29,16 +25,24 @@
         ]
       }
     },
-    "comment": {
-      "type": "PATTERN",
-      "value": "(#)(.+?)([\\n\\r])"
-    },
     "expression": {
       "type": "CHOICE",
       "members": [
         {
-          "type": "SYMBOL",
+          "type": "PREC",
-          "name": "identifier"
+          "value": 2,
+          "content": {
+            "type": "SYMBOL",
+            "name": "value"
+          }
+        },
+        {
+          "type": "PREC",
+          "value": 1,
+          "content": {
+            "type": "SYMBOL",
+            "name": "identifier"
+          }
         },
         {
           "type": "SYMBOL",
@@ -60,23 +64,6 @@
               "name": "expression"
             }
           ]
-        },
-        {
-          "type": "SEQ",
-          "members": [
-            {
-              "type": "SYMBOL",
-              "name": "value"
-            },
-            {
-              "type": "SYMBOL",
-              "name": "operator"
-            },
-            {
-              "type": "SYMBOL",
-              "name": "value"
-            }
-          ]
         }
       ]
     },
@@ -102,9 +89,17 @@
         {
           "type": "SYMBOL",
           "name": "empty"
+        },
+        {
+          "type": "SYMBOL",
+          "name": "boolean"
         }
       ]
     },
+    "comment": {
+      "type": "PATTERN",
+      "value": "(#)(.+?)([\\n\\r])"
+    },
     "yield": {
       "type": "STRING",
       "value": "->"
@@ -191,6 +186,19 @@
       "type": "STRING",
       "value": "()"
     },
+    "boolean": {
+      "type": "CHOICE",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "true"
+        },
+        {
+          "type": "STRING",
+          "value": "false"
+        }
+      ]
+    },
     "list": {
       "type": "SEQ",
       "members": [

src/node-types.json

@@ -1,4 +1,9 @@
 [
+  {
+    "type": "boolean",
+    "named": true,
+    "fields": {}
+  },
   {
     "type": "expression",
     "named": true,
@@ -70,10 +75,6 @@
           "type": "expression",
           "named": true
         },
-        {
-          "type": "value",
-          "named": true
-        },
         {
           "type": "yield",
           "named": true
@@ -94,6 +95,10 @@
       "multiple": false,
       "required": true,
       "types": [
+        {
+          "type": "boolean",
+          "named": true
+        },
         {
           "type": "empty",
           "named": true
@@ -161,6 +166,10 @@
     "type": "empty",
     "named": true
   },
+  {
+    "type": "false",
+    "named": false
+  },
   {
     "type": "float",
     "named": true
@@ -197,6 +206,10 @@
     "type": "string",
     "named": true
   },
+  {
+    "type": "true",
+    "named": false
+  },
   {
     "type": "yield",
     "named": true