Dave Clarke

Oftentimes we see code like: ``` for f

The regular expresssion lib, located in modules/standard/Regex, no longer compiles. This has slipped through testing because the test script was still located in the library directory, not in the test...

Import ambiguity

1

In the current development branch, if file `A.enc` imports `A.enc` and `A.enc` also appears in the standard library, an ambiguity error will arise rather than the sensible option of just...

Variable accessible after being consumed

1

In `feature/capabilities` branch, one can consume a variable and then, for example, call a method on it. When the variable is consumed it is set to `null`. That this occurs...

Add support for: ``` let (x,y) = foo() in e ``` and so forth for other let variations. This should compile to something like ``` match foo() with (x,y) =>...

The following reasonable typedefs result in the type checker complaining that "type synonyms cannot be recursive". ``` typedef PQEntry[t] = (int, t) typedef Comparator[t] = (PQEntry[t], PQEntry[t]) -> bool ```...

Currying Doesn't Work

3

It doesn't seem to be possible/easy to write curried functions (in `development` 97391442c465047b226935d397fdd66f458d8484 ). I tried the following: ``` fun curry[a,b,c](f : (a,b) -> c) : a -> (b ->...

If you import a library module (say `Random`) from a file `Random` in another directory, then an error results claiming that there is a ambiguity. The compiler should check that...