MORPH
SIGN IN SIGN UP
kanaka / mal UNCLAIMED

mal - Make a Lisp

0 0 1 Assembly
Normal View History Raw
bbc-basic: Correct header comments on steps 3 to 5.
2019-04-10 23:51:49 +01:00
REM Step 4 of mal in BBC BASIC
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
LIBRARY "types"
LIBRARY "reader"
LIBRARY "printer"
LIBRARY "env"
bbc-basic: Sort LIBRARY statements into the order they were added in.
2019-04-10 22:08:59 +01:00
LIBRARY "core"
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
PROCtypes_init
repl_env% = FNalloc_environment(FNnil)
bbc-basic: Minimal step 4 completed.
2019-04-08 00:52:22 +01:00
PROCcore_ns : REM This sets the data pointer
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
REPEAT
bbc-basic: Minimal step 4 completed.
2019-04-08 00:52:22 +01:00
READ sym$, i%
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
IF sym$ <> "" THEN
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
PROCenv_set(repl_env%, sym$, FNalloc_corefn(i%))
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
ENDIF
UNTIL sym$ = ""
bbc-basic: Define "not" (deferred step 4 task).
2019-04-08 21:47:07 +01:00
val$ = FNrep("(def! not (fn* (a) (if a false true)))")
bbc-basic: Ensure that "Escape" errors propagate beyond mal. Rather than printing an error message and ending the program, it's better to turn off our error handler and then re-raise the error. This ensures that if, for instance, mal is started from the Supervisor in RISC OS, the error gets propagated back to the Supervisor error handler and displayed properly. This required a slight adjustment to the top-level ON ERROR handler.
2019-05-17 00:35:02 +01:00
sav% = FNgc_save
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
REPEAT
REM Catch all errors apart from "Escape".
bbc-basic: Ensure that "Escape" errors propagate beyond mal. Rather than printing an error message and ending the program, it's better to turn off our error handler and then re-raise the error. This ensures that if, for instance, mal is started from the Supervisor in RISC OS, the error gets propagated back to the Supervisor error handler and displayed properly. This required a slight adjustment to the top-level ON ERROR handler.
2019-05-17 00:35:02 +01:00
ON ERROR LOCAL IF ERR = 17 ON ERROR OFF: ERROR ERR, REPORT$ ELSE PRINT REPORT$
PROCgc_restore(sav%)
bbc-basic: Make FNgc_save/PROCgc_restore more useful and less confusing. FNgc_save now creates a new stack frame, so PROCgc_restore precisely reverses the effect of FNgc_save (along with freeing any stack frames pushed since FNgc_save). This means it doesn't surprisingly destroy the current stack frame. This requires changes to each step file to adjust the REPL to these new semantics.
2019-05-03 22:57:56 +01:00
sav% = FNgc_save
bbc-basic: Abolish "malio" abstraction. When I started this port, it looked like it might be necessary to jump through silly hoops to get Brandy (and maybe ARM BBC BASIC V) to communicate with the mal test harness. In practice, though, that hasn't been necessary: Brandy's "simpletext" interface works well enough and I expect RISC OS's I/O redirection will be good enough if I ever try to test on RISC OS.
2019-04-22 20:44:21 +01:00
PRINT "user> ";
LINE INPUT "" line$
PRINT FNrep(line$)
UNTIL FALSE
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
END
DEF FNREAD(a$)
bbc-basic: Support strings longer than the underlying interpreter allows. Brandy supports strings up to 65536 characters long, but ARM BBC BASIC V only allows strings up to 255 characters. Mal needs strings longer than 255 characters, so we implement them by chaining together several strings in S$() to make one logical string from mal's point of view. This has entailed far-reaching changes as lots of routines that used to take BASIC strings (especially in the reader/printer area) now have to take references to mal strings instead. There are still a lot of places that don't, though, so you can't use long strings as hash-map keys, for instance. This commit passes all the tests, but I wouldn't be surprised if there are still bugs lurking somewhere.
2019-05-18 22:28:13 +01:00
=FNread_str(FNalloc_string(a$))
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
DEF FNEVAL(ast%, env%)
bbc-basic: Rough but apparently functional garbage-collector in step 4. It's a fairly simple mark-and-sweep job, with a slighly mad arrangement for tracking values that _might_ be in BASIC variables. It's full of debugging PRINTs and assorted other unpleasantness, but it does seem to be working correctly, not leaking heap or shadow stack even in the face of errors, so I want to get it committed before I break it.
2019-04-18 22:40:33 +01:00
PROCgc
PROCgc_enter
=FNgc_exit(FNEVAL_(ast%, env%))
DEF FNEVAL_(ast%, env%)
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
LOCAL car%, val%, bindings%, key$
PROCgc_keep_only2(ast%, env%)
val% = FNenv_find(env%, "DEBUG-EVAL")
IF NOT FNis_nil(val%) THEN
IF FNis_truish(FNenv_get(val%, "DEBUG-EVAL")) THEN
PRINT "EVAL: " + FNunbox_string(FNpr_str(ast%, TRUE))
ENDIF
ENDIF
IF FNis_symbol(ast%) THEN =FNenv_get(env%, FNunbox_symbol(ast%))
IF FNis_hashmap(ast%) THEN
val% = FNempty_hashmap
bindings% = FNhashmap_keys(ast%)
WHILE NOT FNis_empty(bindings%)
key$ = FNunbox_string(FNfirst(bindings%))
val% = FNhashmap_set(val%, key$, FNEVAL(FNhashmap_get(ast%, key$), env%))
bindings% = FNrest(bindings%)
ENDWHILE
=val%
ENDIF
IF NOT FNis_seq(ast%) THEN =ast%
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
IF FNis_empty(ast%) THEN =ast%
bbc-basic: Rename list-manipulating functions to match their mal counterparts. FNlist_car becomes FNfirst FNlist_cdr becomes FNrest FNlist_nth becomes FNnth FNlist_len becomes FNcount This makes out terminology more mal-ish, and also avoids mentioning lists in the names of functions that also work on vectors. Note that in edge cases (empty sequences, nil), these functions don't quite have their mal semantics, so the core library still does some remapping.
2019-05-06 12:00:25 +01:00
car% = FNfirst(ast%)
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
IF FNis_vector(ast%) THEN =FNalloc_vector_pair(FNEVAL(car%, env%), FNeval_ast(FNrest(ast%), env%))
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
IF FNis_symbol(car%) THEN
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
key$ = FNunbox_symbol(car%)
CASE key$ OF
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
REM Special forms
WHEN "def!"
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
val% = FNEVAL(FNnth(ast%, 2), env%)
PROCenv_set(env%, FNunbox_symbol(FNnth(ast%, 1)), val%)
=val%
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
WHEN "let*"
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
env% = FNalloc_environment(env%)
bindings% = FNnth(ast%, 1)
WHILE NOT FNis_empty(bindings%)
PROCenv_set(env%, FNunbox_symbol(FNfirst(bindings%)), FNEVAL(FNnth(bindings%, 1), env%))
bindings% = FNrest(FNrest(bindings%))
ENDWHILE
=FNEVAL(FNnth(ast%, 2), env%)
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
WHEN "do"
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
WHILE TRUE
ast% = FNrest(ast%)
IF FNis_empty(ast%) THEN = val%
val% = FNEVAL(FNfirst(ast%), env%)
ENDWHILE
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
WHEN "if"
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
IF FNis_truish(FNEVAL(FNnth(ast%, 1), env%)) THEN =FNEVAL(FNnth(ast%, 2), env%)
IF FNcount(ast%) = 3 THEN =FNnil
=FNEVAL(FNnth(ast%, 3), env%)
bbc-basic: Implement fn*.
2019-04-07 23:45:29 +01:00
WHEN "fn*"
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
=FNalloc_fn(FNnth(ast%, 2), FNnth(ast%, 1), env%)
OTHERWISE
car% = FNenv_get(env%, key$)
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
ENDCASE
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
ELSE
car% = FNEVAL(car%, env%)
ENDIF
REM This is the "apply" part.
ast% = FNeval_ast(FNrest(ast%), env%)
IF FNis_corefn(car%) THEN
=FNcore_call(FNunbox_corefn(car%), ast%)
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
ENDIF
bbc-basic: Implement fn*.
2019-04-07 23:45:29 +01:00
IF FNis_fn(car%) THEN
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
env% = FNnew_env(FNfn_env(car%), FNfn_params(car%), ast%)
bbc-basic: Rename parts of a mal function to match the guide.
2019-04-10 23:59:17 +01:00
=FNEVAL(FNfn_ast(car%), env%)
bbc-basic: Implement fn*.
2019-04-07 23:45:29 +01:00
ENDIF
ERROR &40E80918, "Not a function"
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
DEF FNPRINT(a%)
bbc-basic: Support strings longer than the underlying interpreter allows. Brandy supports strings up to 65536 characters long, but ARM BBC BASIC V only allows strings up to 255 characters. Mal needs strings longer than 255 characters, so we implement them by chaining together several strings in S$() to make one logical string from mal's point of view. This has entailed far-reaching changes as lots of routines that used to take BASIC strings (especially in the reader/printer area) now have to take references to mal strings instead. There are still a lot of places that don't, though, so you can't use long strings as hash-map keys, for instance. This commit passes all the tests, but I wouldn't be surprised if there are still bugs lurking somewhere.
2019-05-18 22:28:13 +01:00
=FNunbox_string(FNpr_str(a%, TRUE))
bbc-basic: Add "do" and "if" special forms (first part of step 4).
2019-04-07 22:27:28 +01:00
DEF FNrep(a$)
=FNPRINT(FNEVAL(FNREAD(a$), repl_env%))
DEF FNeval_ast(ast%, env%)
IF FNis_empty(ast%) THEN =ast%
Merge eval-ast and macro expansion into EVAL, add DEBUG-EVAL See issue #587. * Merge eval-ast and eval into a single conditional. * Expand macros during the apply phase, removing lots of duplicate tests, and increasing the overall consistency by allowing the macro to be computed instead of referenced by name (`((defmacro! cond (...)))` is currently illegal for example). * Print "EVAL: $ast" at the top of EVAL if DEBUG-EVAL exists in the MAL environment. * Remove macroexpand and quasiquoteexpand special forms. * Use pattern-matching style in process/step*.txt. Unresolved issues: c.2: unable to reproduce with gcc 11.12.0. elm: the directory is unchanged. groovy: sometimes fail, but not on each rebuild. nasm: fails some new soft tests, but the issue is unreproducible when running the interpreter manually. objpascal: unreproducible with fpc 3.2.2. ocaml: unreproducible with 4.11.1. perl6: unreproducible with rakudo 2021.09. Unrelated changes: Reduce diff betweens steps. Prevent defmacro! from mutating functions: c forth logo miniMAL vb. dart: fix recent errors and warnings ocaml: remove metadata from symbols. Improve the logo implementation. Encapsulate all representation in types.lg and env.lg, unwrap numbers. Replace some manual iterations with logo control structures. Reduce the diff between steps. Use native iteration in env_get and env_map Rewrite the reader with less temporary strings. Reduce the number of temporary lists (for example, reverse iteration with butlast requires O(n^2) allocations). It seems possible to remove a few exceptions: GC settings (Dockerfile), NO_SELF_HOSTING (IMPLS.yml) and step5_EXCLUDES (Makefile.impls) .
2022-01-10 00:15:40 +01:00
=FNalloc_pair(FNEVAL(FNfirst(ast%), env%), FNeval_ast(FNrest(ast%), env%))
bbc-basic: Add Emacs local variables lists to stop it inserting tabs. Tab characters are harmful to BBC BASIC programs, so it's particularly unhelpful that Emacs' "indent-relative" function inserts them. Add file variables lists to all BBC BASIC source files to disable this behaviour.
2019-04-19 17:44:19 +01:00
REM Local Variables:
REM indent-tabs-mode: nil
REM End:
Reference in New Issue Copy Permalink