webml

webml copied to clipboard

Acculate closure conversion

2

Idea: separate function-like, closure and function in type. Then type driven closure conversion ```sml val f: function-like = if xx then g: function else h: closure ``` ↓ ```sml val...

KeenS

KeenS

define `fun assert x = _externcall("js-ffi"."assert": (bool) -> unit)(x)` and use it in tests

KeenS

The parser should accept multiple files and contain filename as metadata

KeenS

support exceptions

2

KeenS

KeenS

it should be a recursive function.

KeenS

correct: `0.7` `3.32E5` `3E~7` incorrect: `23` `.3` `4.E5` `1E2.5`

KeenS

`ml!(let val x = 1 in x end)` => `Expr::{ ty: (),inner: ExprKind::Let { ... }}` open problem: how to embed Rust values?

KeenS

need to settle the direction of implementation. * `void *` style * template style `void *` style is flexible, but may be buggy.

KeenS