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 misc: throw, fixes for objectExpr, namedPatt #11

Closed dckc closed 5 years ago

dckc commented 5 years ago

current status for prelude.mast:

~/projects/spotter$ make spotter.byte && OCAMLRUNPARAM=b ./spotter.byte ./prelude.mast
ocamlbuild -tag debug -use-ocamlfind -pkgs camomile,zarith spotter.byte
Finished, 3 targets (0 cached) in 00:00:00.
[1] ./prelude.mast: read mast
[1] ./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)
XXX DeepFrozenStamp.coerce(...) not implemented
(finalPatt: predicate := <user>)
XXX Str.coerce(...) not implemented
(finalPatt: label := Empty)(finalPatt: __return := <ejector at blob:57:0:57:0>)(finalPatt: predicateGuard := <user>)(finalPatt: Empty := <user>)(finalPatt: _mapEmpty := <user>)(finalPatt: _validateFor := <user>)(finalPatt: _ListGuardStamp := <user>)(finalPatt: List := <user>)(finalPatt: _SetGuardStamp := <user>)(finalPatt: Set := <user>)(finalPatt: _MapGuardStamp := <user>)(finalPatt: Map := <user>)(finalPatt: _NullOkStamp := <user>)(finalPatt: NullOk := <user>)(finalPatt: _PairGuardStamp := <user>)(finalPatt: Pair := <user>)(finalPatt: _TupleGuardStamp := <user>)(finalPatt: Tuple := <user>)(finalPatt: _VowStamp := <user>)(finalPatt: Vow := <user>)(finalPatt: _iterForever := <user>)(finalPatt: _splitList := <user>)(finalPatt: _accumulateList := <user>)(finalPatt: nullAuditor := <user>)(finalPatt: _matchSame := <user>)(finalPatt: _mapExtract := <user>)(finalPatt: _quasiMatcher := <user>)(finalPatt: _suchThat := <user>)(finalPatt: _switchFailed := <user>)(finalPatt: _makeVerbFacet := <user>)(finalPatt: _accumulateMap := <user>)(finalPatt: _bind := <user>)(finalPatt: _booleanFlow := <user>)(finalPatt: makeLazySlot := <user>)(finalPatt: promiseAllFulfilled := <user>)
name error at blob:801:15:818:20: _makeMap