Spike of recursion

eyg/bin/run-tests.js

@@ -11,7 +11,7 @@ async function main() {
   let failures = 0;
 
   for await (let entry of await opendir(dir)) {
-    if (!entry.name.endsWith("test.js")) continue;
+    if (!entry.name.endsWith("terms_test.js")) continue;
     let path = "../" + dir + entry.name;
     process.stdout.write("\nlanguage/" + entry.name.slice(0, -3) + ":\n  ");
     let module = await import(path);

eyg/src/eyg/ast/editor.gleam

@@ -1603,6 +1603,9 @@ pub fn get_element(tree: e.Expression(a, b), position) -> Element(a, b) {
       let [#(_, child), .._] = list.drop(fields, i)
       get_element(child, rest)
     }
+    // TODO need to get out the union tag
+    #(_, e.Tagged(_tag, value)), [1, ..rest] -> get_element(value, rest)
+
     #(_, e.Let(pattern, _, _)), [0, ..rest] -> get_pattern(pattern, rest, tree)
     #(_, e.Let(_, value, _)), [1, ..rest] -> get_element(value, rest)
     #(_, e.Let(_, _, then)), [2, ..rest] -> get_element(then, rest)

eyg/src/eyg/ast/expression.gleam

@@ -57,10 +57,9 @@ pub fn example(config, hole) {
   }
 }
 
-fn tagged(name, value) {
-  function(p.Row([#(name, "then")]), call(variable("then"), value))
-}
-
+// fn tagged(name, value) {
+//   function(p.Row([#(name, "then")]), call(variable("then"), value))
+// }
 pub fn lift_type(_config, hole) {
   case hole {
     t.Function(from, _to) -> {
@@ -154,6 +153,7 @@ pub type Node(m, g) {
   Binary(value: String)
   Tuple(elements: List(Expression(m, g)))
   Row(fields: List(#(String, Expression(m, g))))
+  Tagged(tag: String, value: Expression(m, g))
   Variable(label: String)
   Let(pattern: Pattern, value: Expression(m, g), then: Expression(m, g))
   Function(pattern: Pattern, body: Expression(m, g))
@@ -192,3 +192,15 @@ pub fn tuple_(elements) {
 pub fn variable(label) {
   #(dynamic.from(Nil), Variable(label))
 }
+
+pub fn row(fields) {
+  #(dynamic.from(Nil), Row(fields))
+}
+
+pub fn tagged(tag, value) {
+  #(dynamic.from(Nil), Tagged(tag, value))
+}
+
+pub fn hole() {
+  #(dynamic.from(Nil), Hole)
+}