Merge pull request #1148 from andrew-johnson-4/lm-to-lsts-fajlep

"" is a better default than <>

BOOTSTRAP/cli.c

@@ -1,9 +1,9 @@
-#include <regex.h>
-#include <sys/wait.h>
-#include <unistd.h>
-#include <string.h>
-#include <stdlib.h>
-#include <stdio.h>
+#include "regex.h"
+#include "sys/wait.h"
+#include "unistd.h"
+#include "string.h"
+#include "stdlib.h"
+#include "stdio.h"
 typedef struct LM__LT_Buffer_GT_ LM__LT_Buffer_GT_;
 typedef struct LM__LT_SmartString_GT_ LM__LT_SmartString_GT_;
 typedef struct LM__LT_S_GT_ LM__LT_S_GT_;
@@ -23493,7 +23493,7 @@ return ({({({uuid__00000000000896d8=({LM__LT_S_GT_ rvalue={3};rvalue;});({});})
 })?({uuid__00000000000896dc=(1);({});}):({})):({})):({}));
 });
 (uuid__00000000000896dc==(1));
-})?({({uuid__00000000000896d8=(_AD__CL__LT_Arrow_LT_S_GT__LT_Cons_LT_S_GT__LT_S_GT__GT__GT_(uuid__00000000000896d8,(_AD__CL__LT_Arrow_LT_S_GT__LT_Cons_LT_S_GT__LT_S_GT__GT__GT_((_AD__CL__LT_Arrow_LT_S_GT__LT_Cons_LT_S_GT__LT_S_GT__GT__GT_(({LM__LT_S_GT_ rvalue={.field_0=2};rvalue.field_2001="#include <";rvalue;}),({LM__LT_S_GT_ rvalue={.field_0=2};rvalue.field_2001=uuid__00000000000896de;rvalue;}))),({LM__LT_S_GT_ rvalue={.field_0=2};rvalue.field_2001=">\n";rvalue;})))));({});});
+})?({({uuid__00000000000896d8=(_AD__CL__LT_Arrow_LT_S_GT__LT_Cons_LT_S_GT__LT_S_GT__GT__GT_(uuid__00000000000896d8,(_AD__CL__LT_Arrow_LT_S_GT__LT_Cons_LT_S_GT__LT_S_GT__GT__GT_((_AD__CL__LT_Arrow_LT_S_GT__LT_Cons_LT_S_GT__LT_S_GT__GT__GT_(({LM__LT_S_GT_ rvalue={.field_0=2};rvalue.field_2001="#include \"";rvalue;}),({LM__LT_S_GT_ rvalue={.field_0=2};rvalue.field_2001=uuid__00000000000896de;rvalue;}))),({LM__LT_S_GT_ rvalue={.field_0=2};rvalue.field_2001="\"\n";rvalue;})))));({});});
 ({uuid__00000000000896d9=uuid__00000000000896dd;({});});
 }):(fail_CL__LT_Arrow_LT_Never_GT__LT_Cons_LT_String_GT__LT_String_GT__GT__GT_("Pattern Match Failure","File: PLUGINS/BACKEND/C/compile-c-text-header.lm Line: 4 Column: 5")));
 })));};});

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.20.41"
+version = "1.20.42"
 authors = ["Andrew <[email protected]>"]
 license = "MIT"
 description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)"

PLUGINS/BACKEND/C/compile-c-text-header.lm

@@ -3,7 +3,7 @@ compile-c-text-header := λ. (: (
    (let r SNil)
    (for-each (fp in c-input-files) (
       (set r (+( r
-         (+( (+( (SAtom '\oinclude\s<_s) (SAtom fp) )) (SAtom '>\n_s) ))
+         (+( (+( (SAtom '\oinclude\s"_s) (SAtom fp) )) (SAtom '"\n_s) ))
       )))
    ))
    r