Dave Clarke

Improved type inference

4

This PR relaxes the type checking in the compiler dealing with unknown information (`BottomType`), which arises for instance in expressions like `Nothing` where the parameter to `Maybe[_]` is not provided...

Cleaned up stress tests.

6

Added entries into IGNORED_FILES.grep to reduce number of warning produced when running stress tests. Made one Makefile a little more robust.

The following function, which uses a bounded polymorphic type argument, results in invalid C: ``` fun arreq[t : Eq[t]](arr1 : [t], arr2 : [t]) : bool repeat i

Using default parameters on the `init` method results in compilation errors. For example, ``` local class A -- does not compile def init(i : int = 0) : unit println(i)...

One of the (new) students followed through the README file to build encore on linux. After completing the (brief) instructions, she didn't have a working Encore compiler. By simply typing...

In the following code, parts of definitions in locally defined class `C.M` get added into the implicitly imported trait `A.M`, resulting in undeclared identifier bugs in the generated C code....

The notation for array types `[t]` conflicts somewhat with the notation for type parameters, leading to types like the following `[Maybe[[t]]]`. After a little practice, one naturally overcomes any possible...

Strange Error Message with Imported Function

1

The following code (which uses a new module, but I'm sure the bug applies to other modules): ``` import Data.Char active class Main def main() : unit isdigit() -- should...

Method/function parameters unavailable in where clause

3

In the development branch, it seems that method/function parameters are unavailable in the body of functions defined in a where clause. In the following code, I would expect that `x`...

Printing value `Just(10)` results in `Just 10`, which arguably is wrong. Bug occurs in development. Fix should be easy.