From 220326b981a6f30c134c5a00ef86b6fd8d1d7d81 Mon Sep 17 00:00:00 2001 From: andrew-johnson-4 Date: Thu, 23 Jan 2025 11:35:35 -0700 Subject: [PATCH] " --- BOOTSTRAP/cli.c | 14 +++++++------- Cargo.toml | 2 +- PLUGINS/BACKEND/C/compile-c-text-header.lm | 2 +- 3 files changed, 9 insertions(+), 9 deletions(-) diff --git a/BOOTSTRAP/cli.c b/BOOTSTRAP/cli.c index 2e1bbfe60..f18fb0697 100644 --- a/BOOTSTRAP/cli.c +++ b/BOOTSTRAP/cli.c @@ -1,9 +1,9 @@ -#include -#include -#include -#include -#include -#include +#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"))); })));};}); diff --git a/Cargo.toml b/Cargo.toml index 5788e74e0..a384904fe 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "lambda_mountain" -version = "1.20.41" +version = "1.20.42" authors = ["Andrew "] license = "MIT" description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)" diff --git a/PLUGINS/BACKEND/C/compile-c-text-header.lm b/PLUGINS/BACKEND/C/compile-c-text-header.lm index 469b86079..25808512c 100644 --- a/PLUGINS/BACKEND/C/compile-c-text-header.lm +++ b/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