@willbooster/tree-sitter-haskell 12.0.0 → 13.0.0

package/README.md

@@ -22,6 +22,8 @@ the supported language extensions. The fork's node and query contracts are descr
 The fork's main differences from upstream 0.23.1 are:
 
 - **Whitespace**: horizontal tabs separate tokens, are accepted before Haddock markers, and advance layout to the next eight-column tab stop.
+- **ExplicitNamespaces**: import and export items, including subordinate items, accept the `data` namespace, and fixity declarations accept `type` and `data`. A namespaced subordinate item such as `type (#)` or `data P` is a `namespaced_child` node with a `namespace` child; a `data` item puts a constructor name in a `constructor` field and a variable or operator in the `variable` or `operator` field.
+- **OrPatterns**: parenthesized alternatives separated by semicolons, such as `(A; B)`, parse as an `or_pattern` node with an `alternative` field for each pattern.
 - **MultilineStrings**: triple-quoted literals retain their complete source as a single `string` node, including embedded quotes, escapes, and string gaps.
 - **Comment scanning**: comments and Haddock nodes expose a named `content` child, preserving body whitespace and excluding outer delimiters. Ordinary comment injection captures this child.
   Empty block comments such as `{--}` terminate at their closing delimiter and preserve following code.

package/grammar/decl.js

@@ -33,6 +33,7 @@ module.exports = {
     seq(
       field('associativity', choice('infixl', 'infixr', 'infix')),
       field('precedence', optional($.integer)),
+      optional(field('namespace', alias(choice('type', 'data'), $.namespace))),
       field('operator', sep1(',', choice($._operator_minus, $._varop, $._conop))),
     ),
   ),

package/grammar/module.js

@@ -49,23 +49,37 @@ module.exports = {
 
   namespace: _ => choice('pattern', 'type'),
 
-  _child_type: $ => seq(field('namespace', 'type'), field('type', $._tyconids)),
+  _ie_value: $ => choice(
+    field('variable', $._varids),
+    field('operator', choice($._sym_prefix, $._pqsym)),
+  ),
+
+  _ie_name: $ => choice($._ie_value, field('type', $._tyconids)),
+
+  _ie_data: $ => seq(
+    field('namespace', alias('data', $.namespace)),
+    choice($._ie_value, field('constructor', choice($._qconid, $._constructor))),
+  ),
+
+  _child_namespaced: $ => choice(
+    seq(field('namespace', alias('type', $.namespace)), $._ie_name),
+    $._ie_data,
+  ),
 
   _child: $ => choice(
-    alias($._child_type, $.associated_type),
+    alias($._child_namespaced, $.namespaced_child),
     $._qname,
   ),
 
   children: $ => parens($, sep(',', field('element', choice(alias('..', $.all_names), $._child)))),
 
-  _ie_entity: $ => seq(
-    optional(field('namespace', $.namespace)),
-    choice(
-      field('variable', $._varids),
-      field('type', $._tyconids),
-      field('operator', choice($._sym_prefix, $._pqsym)),
+  _ie_entity: $ => choice(
+    seq(
+      optional(field('namespace', $.namespace)),
+      $._ie_name,
+      optional(field('children', $.children)),
     ),
-    optional(field('children', $.children)),
+    $._ie_data,
   ),
 
   // ------------------------------------------------------------------------

package/grammar/pat.js

@@ -23,6 +23,8 @@ const patternRules = (name, recordField) => {
 
     [name('_pat_tuple')]: $ => parens($, rule($, '_pat_tuple_elems')),
 
+    [name('_pat_or')]: $ => parens($, sep2(';', field('alternative', rule($, '_pat_texp')))),
+
     [name('_pat_unboxed_tuple')]: $ => unboxed_tuple_full($, rule($, '_pat_texp')),
 
     [name('_pat_unboxed_sum')]: $ => unboxed_sum_single($, rule($, '_pat_texp')),
@@ -120,6 +122,7 @@ const patternRules = (name, recordField) => {
       alias(rule($, '_pat_wildcard'), $.wildcard),
       alias(rule($, '_pat_parens'), $.parens),
       alias(rule($, '_pat_tuple'), $.tuple),
+      alias(rule($, '_pat_or'), $.or_pattern),
       alias(rule($, '_pat_unboxed_tuple'), $.unboxed_tuple),
       alias(rule($, '_pat_unboxed_sum'), $.unboxed_sum),
       alias(rule($, '_pat_list'), $.list),

package/hsc/src/node-types.json

@@ -45,6 +45,10 @@
         "type": "negation",
         "named": true
       },
+      {
+        "type": "or_pattern",
+        "named": true
+      },
       {
         "type": "parens",
         "named": true
@@ -603,6 +607,10 @@
         "type": "negation",
         "named": true
       },
+      {
+        "type": "or_pattern",
+        "named": true
+      },
       {
         "type": "parens",
         "named": true
@@ -1169,36 +1177,6 @@
       }
     }
   },
-  {
-    "type": "associated_type",
-    "named": true,
-    "fields": {
-      "namespace": {
-        "multiple": false,
-        "required": true,
-        "types": [
-          {
-            "type": "type",
-            "named": false
-          }
-        ]
-      },
-      "type": {
-        "multiple": false,
-        "required": true,
-        "types": [
-          {
-            "type": "name",
-            "named": true
-          },
-          {
-            "type": "qualified",
-            "named": true
-          }
-        ]
-      }
-    }
-  },
   {
     "type": "bind",
     "named": true,
@@ -1409,15 +1387,15 @@
             "named": true
           },
           {
-            "type": "associated_type",
+            "type": "constructor",
             "named": true
           },
           {
-            "type": "constructor",
+            "type": "hsc",
             "named": true
           },
           {
-            "type": "hsc",
+            "type": "namespaced_child",
             "named": true
           },
           {
@@ -2510,6 +2488,20 @@
           }
         ]
       },
+      "constructor": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "constructor",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
       "namespace": {
         "multiple": false,
         "required": false,
@@ -2853,6 +2845,16 @@
           }
         ]
       },
+      "namespace": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "namespace",
+            "named": true
+          }
+        ]
+      },
       "operator": {
         "multiple": true,
         "required": true,
@@ -3628,6 +3630,20 @@
           }
         ]
       },
+      "constructor": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "constructor",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
       "namespace": {
         "multiple": false,
         "required": false,
@@ -4635,6 +4651,74 @@
     "named": true,
     "fields": {}
   },
+  {
+    "type": "namespaced_child",
+    "named": true,
+    "fields": {
+      "constructor": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "constructor",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
+      "namespace": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "namespace",
+            "named": true
+          }
+        ]
+      },
+      "operator": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "prefix_id",
+            "named": true
+          }
+        ]
+      },
+      "type": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "name",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
+      "variable": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "qualified",
+            "named": true
+          },
+          {
+            "type": "variable",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "negation",
     "named": true,
@@ -4874,6 +4958,38 @@
       }
     }
   },
+  {
+    "type": "or_pattern",
+    "named": true,
+    "fields": {
+      "alternative": {
+        "multiple": true,
+        "required": true,
+        "types": [
+          {
+            "type": "binding_pattern_operand",
+            "named": true
+          },
+          {
+            "type": "infix_chain",
+            "named": true
+          },
+          {
+            "type": "pattern_operand",
+            "named": true
+          },
+          {
+            "type": "signature",
+            "named": true
+          },
+          {
+            "type": "view_pattern",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "parens",
     "named": true,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@willbooster/tree-sitter-haskell",
-  "version": "12.0.0",
+  "version": "13.0.0",
   "description": "Haskell grammar for tree-sitter",
   "keywords": [
     "incremental",

package/queries/highlights.scm

@@ -116,6 +116,8 @@
   "infixr"
 ] @keyword
 
+(namespace) @keyword
+
 [
   (function name: (variable) @function)
   (bind name: (variable) @function)

package/src/node-types.json

@@ -41,6 +41,10 @@
         "type": "negation",
         "named": true
       },
+      {
+        "type": "or_pattern",
+        "named": true
+      },
       {
         "type": "parens",
         "named": true
@@ -587,6 +591,10 @@
         "type": "negation",
         "named": true
       },
+      {
+        "type": "or_pattern",
+        "named": true
+      },
       {
         "type": "parens",
         "named": true
@@ -1149,36 +1157,6 @@
       }
     }
   },
-  {
-    "type": "associated_type",
-    "named": true,
-    "fields": {
-      "namespace": {
-        "multiple": false,
-        "required": true,
-        "types": [
-          {
-            "type": "type",
-            "named": false
-          }
-        ]
-      },
-      "type": {
-        "multiple": false,
-        "required": true,
-        "types": [
-          {
-            "type": "name",
-            "named": true
-          },
-          {
-            "type": "qualified",
-            "named": true
-          }
-        ]
-      }
-    }
-  },
   {
     "type": "bind",
     "named": true,
@@ -1381,11 +1359,11 @@
             "named": true
           },
           {
-            "type": "associated_type",
+            "type": "constructor",
             "named": true
           },
           {
-            "type": "constructor",
+            "type": "namespaced_child",
             "named": true
           },
           {
@@ -2450,6 +2428,20 @@
           }
         ]
       },
+      "constructor": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "constructor",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
       "namespace": {
         "multiple": false,
         "required": false,
@@ -2783,6 +2775,16 @@
           }
         ]
       },
+      "namespace": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "namespace",
+            "named": true
+          }
+        ]
+      },
       "operator": {
         "multiple": true,
         "required": true,
@@ -3512,6 +3514,20 @@
           }
         ]
       },
+      "constructor": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "constructor",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
       "namespace": {
         "multiple": false,
         "required": false,
@@ -4480,6 +4496,74 @@
     "named": true,
     "fields": {}
   },
+  {
+    "type": "namespaced_child",
+    "named": true,
+    "fields": {
+      "constructor": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "constructor",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
+      "namespace": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "namespace",
+            "named": true
+          }
+        ]
+      },
+      "operator": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "prefix_id",
+            "named": true
+          }
+        ]
+      },
+      "type": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "name",
+            "named": true
+          },
+          {
+            "type": "qualified",
+            "named": true
+          }
+        ]
+      },
+      "variable": {
+        "multiple": false,
+        "required": false,
+        "types": [
+          {
+            "type": "qualified",
+            "named": true
+          },
+          {
+            "type": "variable",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "negation",
     "named": true,
@@ -4711,6 +4795,38 @@
       }
     }
   },
+  {
+    "type": "or_pattern",
+    "named": true,
+    "fields": {
+      "alternative": {
+        "multiple": true,
+        "required": true,
+        "types": [
+          {
+            "type": "binding_pattern_operand",
+            "named": true
+          },
+          {
+            "type": "infix_chain",
+            "named": true
+          },
+          {
+            "type": "pattern_operand",
+            "named": true
+          },
+          {
+            "type": "signature",
+            "named": true
+          },
+          {
+            "type": "view_pattern",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "parens",
     "named": true,

package/tree-sitter.json

@@ -35,7 +35,7 @@
     }
   ],
   "metadata": {
-    "version": "12.0.0",
+    "version": "13.0.0",
     "license": "MIT",
     "description": "Haskell grammar for tree-sitter",
     "authors": [