Isaac Elliott

Enum variants

1

Variants currently use the syntax `< C_0 : T_0 | C_1 : T_1 | ... | C_n : T_n >`. This syntax is a little verbose for constructors that take...

Requires #81 ``` case x of [a, b, ..rest] -> ... _ -> ... ```

Currently all builtin types (e.g. String, Int) have their own constructor in the `Type` enum. I think these constructors should be removed, in favour of defining the builtin types in...

Hierarchical modules

1

Currently only 'sibling' modules can be imported, i.e. `import a`. I might want to allow importing 'child' modules, i.e. `import a.b`. I haven't yet decided if I want this feature....

Currently this is valid: ``` main = let x = 1 in ... ``` The indents for each token are treated as spaces, so the let expression recognised. I might...

When it comes to building a standard library, I'll probably need some sort of C FFI. At the very least, I need to be able to use Linux system calls....

Add `expect : Bool -> Maybe ()`

1

In Haskell: https://hackage.haskell.org/package/base-4.15.0.0/docs/Control-Monad.html#v:guard ``` expect : Bool -> Maybe () expect b = if b then Just () else Nothing ``` This is is used to short-circuit Maybe computations based...

Investigate generation of functions which have outputs that depend on their inputs

6

There were a couple of questions in [the reddit thread](https://www.reddit.com/r/haskell/comments/956knr/hedgehogfn_function_generation_for_hedgehog/) about this kind of idea. I think it's cool but I don't know if it's possible. The main example of...

There are three mutable, globally accessible dicts called `locals()` and `globals()`, and `vars()`. When these dicts are modified, new variables are brought into scope. Warn about these usages. Warnings should...

Currently we warn about all usages of `globals`, `nonlocals`, and `del`. In the general case they interfere with scope checking, but there is a subset of usages that are safe....