search

monte-language / spotter

Experimental low-level Monte runtime in OCaml
Do What The F*ck You Want To Public License
4 stars 1 forks source link

runtime support for much of prelude.mast #12

Closed dckc closed 5 years ago

dckc commented 5 years ago

status:

~/projects/spotter$ make spotter.byte && OCAMLRUNPARAM=b ./spotter.byte ./prelude.mast

./prelude.mast: read mast
./prelude.mast: evaluate module
(finalPatt: _comparer := <user>)(finalPatt: makePredicateGuard := <user>)(finalPatt: pred := <user>)(call: run/2)
(executing run(<user>, "Empty", ) at blob:57:0:57:0)(finalPatt: makePredicateGuard := <user>)
XXX DeepFrozenStamp.coerce(...) not implemented
(finalPatt: predicate := <user>)
XXX Str.coerce(...) not implemented

...

(executing run("prelude/ast_printer", ) at blob:841:0:841:0)(finalPatt: loadit := <user>)(finalPatt: name := "prelude/ast_printer")(finalPatt: __return := <ejector at blob:841:0:841:0>)prelude/ast_printer.mast: read mast
prelude/ast_printer.mast: evaluate module
=mod=> <user>
(finalPatt: m := <user>)(call: run/1)
(executing run(<user>, ) at blob:1:0:1168:0)(finalPatt: package_1 := <user>)(call: import/1)
(executing import("boot", ) at str:828:40:828:0)(finalPatt: stubLoader := <user>)(finalPatt: name := "boot")(finalPatt: __return := <ejector at str:829:4:829:5>)
Message refused: _equalizer.sameEver/2