ante
ante copied to clipboard
A safe, easy systems language
Ante's current import system is far too barebones and unusable for most programs. Since it only allows importing every name from a module in scope we already cannot import two...
They are awful. To elaborate, currently the parser will usually issue an error in the form "failed trying to parse a [foo]" where [foo] may be term, expression, pattern, etc....
Trying the following code: ```scala row = 0 col = 0 match () | () -> recur2 col = print col recur2 col recur row = recur2 row recur row...
Right now, mutability is temporarily tied to the `ref a` type which isn't desirable since it ties mutability to lifetime inference. There are a few open questions and wants as...
Currently, `impl Cast int string with ...` is one of the commented out sections of the prelude since it hasn't worked since the start of the rewrite of the old...
The current type errors given by the compiler are largely placeholders - there is much room to improve. Examples: ```scala foo x = x foo 0 1 // error: //...
The code: ```hs import HashMap impl Hash u8 with hash x = cast x map = mut empty () insert map 1u8 3u16 print map print map ``` Fails to...
Currently if you try to define a recursive impl: ```scala trait Foo a with foo : a -> unit impl Foo i32 with foo x = if x < 0...
Types are cloned a lot which may be unnecessarily slowing down the compiler. We should experiment with wrapping types in an Rc and test how much that speeds up the...
Currently the parser fails on the first error and issues rather poor error messages in general (poor hints as to what went wrong, sometimes poor locality as well). The parser...