head/tail string

Author: andrew-johnson-4

BOOTSTRAP/cli.s

@@ -75514,7 +75514,7 @@ uuid_000000000000047c:
 	pop %r13
 	push %r12
 	push %r13
-	mov $uuid_0000000000000030, %r12
+	mov $uuid_0000000000000002, %r12
 	mov $0, %r13
 	call uuid_0000000000000003
 	mov %r12, 0(%r8)
@@ -75605,7 +75605,7 @@ uuid_000000000000047c:
 	mov -80(%rbp),%r13
 	push %r12
 	push %r13
-	mov $uuid_000000000000002d, %r12
+	mov $uuid_000000000000003f, %r12
 	mov $0, %r13
 	call uuid_0000000000000003
 	mov %r12, 0(%r8)
@@ -76690,7 +76690,7 @@ uuid_000000000000048e:
 	pop %r13
 	push %r12
 	push %r13
-	mov $uuid_0000000000000030, %r12
+	mov $uuid_0000000000000002, %r12
 	mov $0, %r13
 	call uuid_0000000000000003
 	mov %r12, 0(%r8)
@@ -76781,7 +76781,7 @@ uuid_000000000000048e:
 	mov -80(%rbp),%r13
 	push %r12
 	push %r13
-	mov $uuid_000000000000002d, %r12
+	mov $uuid_000000000000003f, %r12
 	mov $0, %r13
 	call uuid_0000000000000003
 	mov %r12, 0(%r8)

Cargo.toml

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

Makefile

@@ -1,7 +1,6 @@
 
 nostd: prod
-	./production --nostd -o tmp.s tests/strict/tail-string.lm
-#	./production --nostd -o tmp.s STRICT/cli.lm
+	./production --nostd -o tmp.s STRICT/cli.lm
 	as -o tmp.o tmp.s
 	ld -o tmp tmp.o
 	./tmp STRICT/cli.lm && echo $?

STDLIB/default-instruction-set.lm

@@ -167,7 +167,8 @@ fragment mov := λ(: src Literal+Constant)(: index Literal+Constant)(: dst Local
 
 fragment mov := λ(: src Sized<1>[]+LocalVariable)(: index Literal+Constant)(: dst Reg8). (: (
    (.program(
-      \t 'mov \s (+( (.expression index) (.expression src) )) \[ '%rbp \] , \s '% (.expression dst) \n
+      \t 'mov \s (.expression src) \[ '%rbp \] , \s '%r15 \n
+      \t 'mov \s (.expression index) \[ '%r15 \] , \s '% (.expression dst) \n
    ))
 ) Nil);
 

STRICT/tokenize.lm

@@ -3,10 +3,8 @@ type Tokens EOF | (HeadOrder( String , Tokens[] )) | (TailOrder( Tokens[] , Stri
 
 tokenize := λ(: fp String). (: (tail(
    (let text (read-file fp))
-   (print (as (head-string text) ASCII))
    (while (head-string text) (tail(
-      #(print (as (head-string text) ASCII))
-      ()
+      (print (as (head-string text) ASCII))
       (set text (tail-string text))
    )))
 )) Nil);