Parser

devbox.lock

@@ -2,8 +2,8 @@
   "lockfile_version": "1",
   "packages": {
     "github:NixOS/nixpkgs/nixpkgs-unstable": {
-      "last_modified": "2025-09-25T01:21:52Z",
-      "resolved": "github:NixOS/nixpkgs/e57b3b16ad8758fd681511a078f35c416a8cc939?lastModified=1758763312&narHash=sha256-puBMviZhYlqOdUUgEmMVJpXqC%2FToEqSvkyZ30qQ09xM%3D"
+      "last_modified": "2025-10-12T08:13:11Z",
+      "resolved": "github:NixOS/nixpkgs/832e3b6db48508ae436c2c7bfc0cf914eac6938e?lastModified=1760256791&narHash=sha256-uTpzDHRASEDeFUuToWSQ46Re8beXyG9dx4W36FQa0%2Fc%3D"
     },
     "gren@0.6": {
       "last_modified": "2025-09-18T16:33:27Z",

gren.json

@@ -6,6 +6,7 @@
     "license": "BSD-3-Clause",
     "version": "3.0.7",
     "exposed-modules": [
+        "AST.Source",
         "CLI.Parser",
         "CLI.PrettyPrinter",
         "Compiler.Backend",
@@ -17,13 +18,20 @@
         "Compiler.Paths",
         "Compiler.License",
         "FileSystem.Lock",
+        "Parse.Expression",
+        "Parse.Number",
+        "Parse.String",
+        "Parse.Space",
+        "Parse.Variable",
         "SemanticVersion",
         "SemanticVersionRange",
-        "String.EditDistance"
+        "String.EditDistance",
+        "SourcePosition"
     ],
     "gren-version": "0.6.0 <= v < 0.7.0",
     "dependencies": {
-        "gren-lang/core": "7.1.0 <= v < 8.0.0",
-        "gren-lang/node": "6.1.0 <= v < 7.0.0"
+        "gren-lang/core": "7.2.1 <= v < 8.0.0",
+        "gren-lang/node": "6.1.0 <= v < 7.0.0",
+        "gren-lang/parser": "6.2.0 <= v < 7.0.0"
     }
 }

integration-tests/Makefile

@@ -1,7 +1,7 @@
 node_modules: package.json package-lock.json
 	npm ci
 
-bin/app: Makefile gren.json node_modules
+bin/app: Makefile gren.json node_modules ../gren.json ../src/**/*.gren
 	gren make Main --output=bin/app
 	chmod +x bin/app
 

integration-tests/gren.json

@@ -7,12 +7,13 @@
     "gren-version": "0.6.3",
     "dependencies": {
         "direct": {
-            "gren-lang/core": "7.1.0",
+            "gren-lang/core": "7.2.1",
             "gren-lang/node": "6.1.0",
             "gren-lang/compiler-node": "local:.."
         },
         "indirect": {
-            "gren-lang/url": "6.0.0"
+            "gren-lang/url": "6.0.0",
+            "gren-lang/parser": "6.2.0"
         }
     }
 }

src/AST/Source.gren

@@ -0,0 +1,202 @@
+module AST.Source exposing
+    ( Expression
+    , Expression_ (..)
+    , VarType (..)
+    , BinopsSegment
+    , IfBranch
+    , WhenBranch
+    , RecordField
+    , Def (..)
+    , Pattern
+    , Pattern_ (..)
+    , PRecordField
+    , PRecordField_
+    , Type
+    , Type_
+    , TRecordField
+    )
+
+import SourcePosition
+import Parse.Number as Number
+
+
+type alias Expression =
+    SourcePosition.Located Expression_
+
+
+type Expression_
+  = CharLiteral Char
+  | StringLiteral String
+  | NumberLiteral Number.Outcome
+  | Var
+    { varType : VarType
+    , name : String
+    }
+  | VarQual
+    { varType : VarType
+    , qualifier : String
+    , name : String
+    }
+  | ArrayLiteral (Array Expression)
+  | Record (Array RecordField)
+  | Update
+    { record : Expression
+    , newValues : Array RecordField
+    }
+  | Operator String
+  | Negate Expression
+  | Binops
+    { segments : Array BinopsSegment
+    , finalExpression : Expression
+    }
+  | Lambda
+    { patterns : Array Pattern
+    , body : Expression
+    }
+  | Call
+    { fn : Expression
+    , args : Array Expression
+    }
+  | Let
+    { defs : Array (SourcePosition.Located Def)
+    , body : Expression
+    }
+  | If
+    { branches : Array IfBranch
+    , elseBranch : Expression
+    }
+  | When
+    { expression : Expression
+    , branches : Array WhenBranch
+    }
+  | Accessor String
+  | Access
+    { expression : Expression
+    , accessor : String
+    }
+  | Parens Expression
+
+
+type VarType
+    = LowVar
+    | CapVar
+
+
+type alias BinopsSegment =
+    { leadingExpression : Expression
+    , operatorName : SourcePosition.Located String
+    }
+
+
+type alias IfBranch =
+    { test : Expression
+    , body : Expression
+    }
+
+
+type alias WhenBranch =
+    { pattern : Pattern
+    , body : Expression
+    }
+
+
+type alias RecordField =
+    { field : SourcePosition.Located String
+    , value : Expression
+    }
+
+
+-- DEFINITIONS
+
+
+type Def
+  = Define
+    { name : SourcePosition.Located String
+    , args : Array Pattern
+    , body : Expression
+    , typeSignature : Maybe Type
+    }
+  | Destruct
+    { pattern : Pattern
+    , expression : Expression
+    }
+
+
+-- PATTERN
+
+
+type alias Pattern
+    = SourcePosition.Located Pattern_
+
+
+type Pattern_
+  = PAnything String
+  | PVar String
+  | PRecord (Array PRecordField)
+  | PAlias
+    { pattern : Pattern
+    , name : SourcePosition.Located String
+    }
+  | PCtor
+    { var : SourcePosition.Located String
+    , associatedData : Maybe Pattern
+    }
+  | PCtorQual
+    { varRegion : SourcePosition.Region
+    , qualifier : String
+    , name : String
+    , associatedData : Maybe Pattern
+    }
+  | PArray (Array Pattern)
+  | PChr Char
+  | PStr String
+  | PInt
+    { value : Int
+    , isHex : Bool
+    }
+
+
+type alias PRecordField
+    = SourcePosition.Located PRecordField_
+
+
+type alias PRecordField_ =
+    { field : SourcePosition.Located String
+    , pattern : Pattern
+    }
+
+
+-- TYPE
+
+
+type alias Type =
+    SourcePosition.Located Type_
+
+
+type Type_
+  = TLambda
+    { from : Type
+    , to : Type
+    }
+  | TVar String
+  | TType
+    { name : SourcePosition.Located String
+    , args : Array Type
+    }
+  | TTypeQual
+    { varRegion : SourcePosition.Region
+    , qualifier : String
+    , name : String
+    , args : Array Type
+    }
+  | TRecord
+    { fields : Array TRecordField
+    , extending : Maybe (SourcePosition.Located String)
+    }
+  | TParens Type
+
+
+type alias TRecordField =
+    { field : SourcePosition.Located String
+    , signature : Type
+    }

src/Compiler/Backend.gren

@@ -1,7 +1,5 @@
 module Compiler.Backend exposing 
-    ( version
-    --
-    , Command(..)
+    ( Command(..)
     , ReplFlags
     , MakeFlags
     , MakeOutput(..)
@@ -47,19 +45,6 @@ import HttpClient
 import Process
 
 
-{-| Version of the compiler blob. This might not match the version of the Gren compiler as a whole,
-as the Haskell- and Gren-parts are versioned seperatly.
--}
-version : String
-version =
-    -- TODO: Let's get rid of this.
-    -- We're already planning to keep backend and frontend releases in sync moving forward
-    "0.6.3"
-
-
--- Binary
-
-
 {-| Type used to signal that the given platform isn't supported. Meaning that there doesn't exist
 a pre-built compiler blob.
 -}
@@ -70,8 +55,8 @@ type UnsupportedPlatform
 {-| Construct a URL from which you can download a compiler blob compatible with the given
 platform and cpu architecture.
 -}
-downloadUrl : Node.Platform -> Node.CpuArchitecture -> Result UnsupportedPlatform String
-downloadUrl platform cpuArch =
+downloadUrl : SemanticVersion -> Node.Platform -> Node.CpuArchitecture -> Result UnsupportedPlatform String
+downloadUrl version platform cpuArch =
     let
         maybeFilename =
             when { platform = platform, cpuArch = cpuArch } is
@@ -95,7 +80,7 @@ downloadUrl platform cpuArch =
             Ok <|
                 String.join "/"
                     [ "https://github.com/gren-lang/compiler/releases/download"
-                    , version
+                    , SemanticVersion.toString version
                     , filename
                     ]