ugly error message

[shriram]

> r1 :: Reactor = r
Name not found in globals.types: Reactor"

"globals.types" should never be seen from the outside.

[jpolitz]

Thanks, that's because of a silly bug where the type environment and modules had a gap in agreeing on names.

This is mostly fixed by 88732aa, but @mkolosick, it is another place where the type checker now will be confused about type aliases vs. datatypes, so will need to iron that out. (Currently, this makes the type checker look for an alias that isn't there, while the dynamic namespace works fine).

[sorawee]

@jpolitz it doesn't seem to be fixed. I still see same error message. See also #1013