✨ Compilation

Author: MystPi

gleam.toml

@@ -17,6 +17,8 @@ gleam_stdlib = "~> 0.34 or ~> 1.0"
 chomp = { path = "../chomp-nibble" }
 gleam_community_ansi = ">= 1.4.0 and < 2.0.0"
 hug = "~> 1.0"
+glam = ">= 2.0.0 and < 3.0.0"
+dedent = ">= 1.0.0 and < 2.0.0"
 
 [dev-dependencies]
 gleeunit = "~> 1.0"

manifest.toml

@@ -5,6 +5,7 @@ packages = [
   { name = "argv", version = "1.0.2", build_tools = ["gleam"], requirements = [], otp_app = "argv", source = "hex", outer_checksum = "BA1FF0929525DEBA1CE67256E5ADF77A7CDDFE729E3E3F57A5BDCAA031DED09D" },
   { name = "birdie", version = "1.1.2", build_tools = ["gleam"], requirements = ["argv", "filepath", "glance", "gleam_community_ansi", "gleam_erlang", "gleam_stdlib", "justin", "rank", "simplifile", "trie_again"], otp_app = "birdie", source = "hex", outer_checksum = "F9666AEB5F6EDFAE6ADF9DFBF10EF96A4EDBDDB84B854C29B9A3F615A6436311" },
   { name = "chomp", version = "1.0.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], source = "local", path = "../chomp-nibble" },
+  { name = "dedent", version = "1.0.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "dedent", source = "hex", outer_checksum = "591C78F019CFE8B4F138BDCA5DB57EB429D95F90CD12B51262A3FC6455EC1AEF" },
   { name = "filepath", version = "1.0.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "filepath", source = "hex", outer_checksum = "EFB6FF65C98B2A16378ABC3EE2B14124168C0CE5201553DE652E2644DCFDB594" },
   { name = "glam", version = "2.0.0", build_tools = ["gleam"], requirements = ["birdie", "gleam_stdlib"], otp_app = "glam", source = "hex", outer_checksum = "1C10BE5EA72659E409DC2325BA5E94E0CC92C6C50B2A1DBADE6D07E8C9484D51" },
   { name = "glance", version = "0.9.0", build_tools = ["gleam"], requirements = ["gleam_stdlib", "glexer"], otp_app = "glance", source = "hex", outer_checksum = "4866132929EAA47649FBBDBD7C4FDBEB7E30938AA34561E4486640D8ABDE3C88" },
@@ -26,6 +27,8 @@ packages = [
 
 [requirements]
 chomp = { path = "../chomp-nibble" }
+dedent = { version = ">= 1.0.0 and < 2.0.0" }
+glam = { version = ">= 2.0.0 and < 3.0.0" }
 gleam_community_ansi = { version = ">= 1.4.0 and < 2.0.0" }
 gleam_stdlib = { version = "~> 0.34 or ~> 1.0" }
 gleeunit = { version = "~> 1.0" }

src/spark.gleam

@@ -1,6 +1,6 @@
 import gleam/io
 import gleam/result
-import pprint
+import spark/compile
 import spark/error
 import spark/lex
 import spark/parse
@@ -54,7 +54,7 @@ pub fn main() {
 
     def then\\action, f =
       @IO {
-        perform: \\ -> action |> perform |> f |> perform
+        perform: \\ -> f(action.perform()).perform()
       }
 
     def perform\\action =
@@ -71,12 +71,13 @@ pub fn main() {
   let result = {
     use tokens <- result.try(lex.lex(source))
     use ast <- result.try(parse.parse(tokens))
-    Ok(ast)
+    let compiled = compile.compile(ast)
+    Ok(compiled)
   }
 
   case result {
-    Ok(ast) -> {
-      pprint.debug(ast)
+    Ok(js) -> {
+      io.println(js)
       Nil
     }
     Error(e) ->

src/spark/ast.gleam

@@ -18,8 +18,10 @@ pub type Module {
 /// - Any paths: ["bar", "baz"]
 /// - An optional rename: Some("blah")
 ///
+/// The path list is guaranteed to have at least one element by the parser.
+///
 pub type Import {
-  Import(base: String, path: List(String), rename: Option(String))
+  Import(path: List(String), rename: Option(String))
 }
 
 /// A declaration is something at the top-level of a module.
@@ -48,9 +50,12 @@ pub type Publicity {
 /// language.
 ///
 pub type Expression {
-  Number(value: Float)
+  Int(value: Int)
+  Float(value: Float)
   String(value: String)
   Variable(name: String)
+  Atom(name: String, payload: List(Expression))
+  Group(expression: Expression)
   ModuleAccess(module: String, field: String)
   List(values: List(Expression))
   Record(fields: List(#(String, Expression)), update: Option(Expression))
@@ -62,7 +67,6 @@ pub type Expression {
   Unop(op: Unop, operand: Expression)
   Case(subject: Expression, clauses: List(CaseClause))
   External(javascript_code: String)
-  Atom(name: String, payload: List(Expression))
 }
 
 /// Binary operators have two operands.
@@ -112,7 +116,8 @@ pub type Pattern {
   VariablePattern(name: String)
   NamedPattern(pattern: Pattern, name: String)
   IgnorePattern
-  NumberPattern(value: Float)
+  IntPattern(value: Int)
+  FloatPattern(value: Float)
   StringPattern(value: String)
   AtomPattern(name: String, payload: List(Pattern))
 }