fixed a bug where fragment type could be nil

Author: andrew-johnson-4

BOOTSTRAP/cli.s

@@ -78466,6 +78466,27 @@ uuid_0000000000000566:
 	mov %r13, -80(%rbp)
 	mov -72(%rbp),%r12
 	mov -80(%rbp),%r13
+	push %r12
+	push %r13
+	mov -40(%rbp),%r12
+	mov -48(%rbp),%r13
+	call __typecheck_lookup_C___
+	call uuid_0000000000000003
+	mov %r12, 0(%r8)
+	mov %r13, 8(%r8)
+	pop %r13
+	pop %r12
+	push %r8
+	call uuid_0000000000000003
+	mov %r12, 0(%r8)
+	mov %r13, 8(%r8)
+	mov %r8, %r12
+	pop %r13
+	call __expr_C__C_set_type_C___
+	mov %r12, -72(%rbp)
+	mov %r13, -80(%rbp)
+	mov -72(%rbp),%r12
+	mov -80(%rbp),%r13
 	mov $1, %r14
 uuid_0000000000000567:
 	cmp $0, %r14

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.11.105"
+version = "1.11.106"
 authors = ["Andrew <andrew@subarctic.org>"]
 license = "MIT"
 description = "Lambda Mountain"

PRODUCTION/codegen-strict.lm

@@ -346,6 +346,7 @@ compile-expr-strict := λctx e offset used . (tail(
                      ()
                      ( (Variable fname) (tail(
                         (set e1 (stack-call( ctx fname r offset )))
+                        (set e1 (expr::set-type( e1 (typecheck-lookup e) )))
                         e1
                      )))
                      ( (Literal tag) (tail(

STRICT/parse.lm

@@ -71,15 +71,15 @@ parse := λ. (: (tail(
 #            (set toks (tail pme))
 #         )))
          (remainder (tail(
+            ()
             (match (parse-many-expressions remainder) (
                ()
                ( (PME( term remainder )) (tail(
                   (set tokens remainder)
                   ()
-#            (set parse-parsed-program (parse-parsed-program (GExpr (head pme)) ))
+#                 (set parse-parsed-program (parse-parsed-program (GExpr (head pme)) ))
                )))
             ))
-            (set tokens (.1 (as (maybe-deref part1) PME)) )
          )))
    )))