From 0beab4e11d30e8e4e9cf761ec8a599a7a5616cc4 Mon Sep 17 00:00:00 2001 From: Aryadev Chavali Date: Wed, 28 Jan 2026 07:35:45 +0000 Subject: [PATCH] *: small changes --- arl.org | 5 +++++ src/main.c | 1 - 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/arl.org b/arl.org index 4f5700c..fbd2bea 100644 --- a/arl.org +++ b/arl.org @@ -48,6 +48,7 @@ bindings, with the final expression being a reference to some binding. This also simplifies type checking to just verifying each little binding and operation. + *** Examples **** Basic example Consider the following ARL code: @@ -145,6 +146,10 @@ Define how we can type check arguments on the stack against the types a callable expects for its inputs. In the same vein, we also need to figure out the type of whatever is pushed onto the stack by the callable. +*** TODO Use SSA for user level bindings +[[https://en.wikipedia.org/wiki/Static_single-assignment_form][Static +single-assignment form]] is something we should use when we introduce +for user level bindings. ** TODO Code generator [[file:src/arl/target-c/]] diff --git a/src/main.c b/src/main.c index bf195a9..2b02de1 100644 --- a/src/main.c +++ b/src/main.c @@ -18,7 +18,6 @@ #include #include -/// Parser sv_t read_file(const char *filename) { FILE *fp = fopen(filename, "rb");