fix

priv/static/squared_away.mjs

@@ -7717,17 +7717,9 @@ function typecheck(env, expr) {
     );
     if (defs === 0) {
       return new Ok(new LabelDef2(new TNil(), txt));
-    } else if (defs === 1) {
-      return new Ok(new LabelDef2(new TNil(), txt));
-    } else if (defs > 1) {
-      return new Error(
-        new TypeError2(new TypeError("Duplicate Label"))
-      );
     } else {
       return new Error(
-        new TypeError2(
-          new TypeError("This is an internal compiler error.")
-        )
+        new TypeError2(new TypeError("Duplicate Label"))
       );
     }
   } else if (expr instanceof Label) {
@@ -9361,7 +9353,7 @@ function view(model) {
                         let _pipe$32 = model.compiler_state.deps_graph;
                         let _pipe$42 = filter(
                           _pipe$32,
-                          (k, v) => {
+                          (_2, v) => {
                             return contains(v, active_cell);
                           }
                         );

src/squared_away/compiler.gleam

@@ -2,9 +2,11 @@
 //// an initial set of grids for all the cells, and try to only
 //// compile and update what we need based on the dependency graph.
 
+import squared_away/squared_away_lang/parser/parse_error
 import gleam/dict
 import gleam/list
 import gleam/option
+import gleam/bool
 import gleam/result
 import gleam/set
 import squared_away/squared_away_lang/error
@@ -107,6 +109,7 @@ pub fn edit_cell(state: State, key: grid.GridKey, src: String) -> State {
     use parsed <- result.try(
       parser.parse(scanned) |> result.map_error(error.ParseError),
     )
+
     use typechecked <- result.try(typechecker.typecheck(
       state |> get_parsed,
       parsed,
@@ -132,6 +135,7 @@ pub fn edit_cell(state: State, key: grid.GridKey, src: String) -> State {
       state |> get_typechecked,
       typechecked,
     ))
+
     Ok(#(
       CompileSteps(scanned:, parsed:, typechecked:, interpreted:),
       deps_graph,
@@ -147,8 +151,6 @@ pub fn edit_cell(state: State, key: grid.GridKey, src: String) -> State {
       )
     }
     Ok(#(cell, deps_graph)) -> {
-      // If the process succeeded, we need to update the cells value AND the dependency
-      // graph with the cells new dependencies.
       State(
         cells: grid.insert(state.cells, key, Cell(src:, outcome: Ok(cell))),
         deps_graph:,

src/squared_away/squared_away_lang/typechecker.gleam

@@ -177,15 +177,9 @@ pub fn typecheck(
         })
 
       case defs {
-        0 | 1 -> Ok(typed_expr.LabelDef(typ.TNil, txt))
-        _ if defs > 1 ->
-          Error(error.TypeError(type_error.TypeError("Duplicate Label")))
+        0 -> Ok(typed_expr.LabelDef(typ.TNil, txt))
         _ ->
-          Error(
-            error.TypeError(type_error.TypeError(
-              "This is an internal compiler error.",
-            )),
-          )
+          Error(error.TypeError(type_error.TypeError("Duplicate Label")))
       }
     }
     expr.Label(txt) -> {