Dan Connolly

InterfaceExpr introduces scope box for exprs in signatures

1

When I try to `monte eval scopeBug.mt`: ``` exports (main) def Ast :DeepFrozen := astBuilder.getAstGuard() interface TypeVariable :DeepFrozen { to setInstance(other: (def AstType :DeepFrozen := Any[Ast, TypeVariable])) } def main(_)...

``` ▲> def Int32 :DeepFrozen := -(2 ** 31)..!2 ** 31 Result: ▲> 2**50 :Int32 Result: 1125899906842624 ``` WAT?! oh... ``` ▲> m`base ** exponent :guard`.expand() Result: m`base.pow(guard.coerce(exponent, throw))` ```

I just ran across: ``` ~ Problem: Message refused: ().writeFloat64(88, 2.540000) ```

can't substitute for verb in m``

3

``` > { def verb := "v1"; m`x.$verb()` } Message refused: (, Atom(formatError/2), [["expected IDENTIFIER, got ", null], throw]) ```

trial test suite is empty?

1

see, for example, https://ci.monte-language.org/build/603/log , the build log of derivation /nix/store/wkdmbxam6a05gyg7smdgxhi37ml9imha-typhon-vm.drv. It just shows PASSED. Shouldn't it give some evidence that test ran? A count at least?

dash> simpson: linter wishlist item: dataflow analysis to find promises that don't escape and don't have error handlers

lint: stale ejector, e.g. return inside when

2

A `return` inside a `when` makes little sense. Simpson says we can make a lint for "You put a statically-known ejector into a situation where it definitely escapes and will...

I would quite like to use monte with cloudabi. typhon typically uses nix to build, and freebsd support in nix has gone fallow.

debug() using meta-circular interpreter

1

I have made a little progress: https://gist.github.com/dckc/279581372a60f517875332708764922a

module support in m``

2

I want to parse the source of a module from a file. `parseModule` has a tempting name, but there's a lot of plumbing to set up with `astBuilder` and such...