Typechecking issue, might be related to modules

[kaeluka]

Following two files in the same directory:

main.enc:

#! /usr/bin/env encorec -run

import Vector

class Main
  def main() : void {
    (new Vector<int>).there();
    print "hello"
  }

Vector.enc:

passive class Vector<t> {
  data : [t]

  def init() : void {
    let b = new [int](3) in {
        b[0] = 0;
        b[1] = 0;
        b[2] = 42 - 19;
    }
  }

  def there() : void
    print "vector reporting for duty!"
}

If I run encorec -tc Vector.enc, the typecheck passes, but if I run encorec -tc main.enc, I get:

... $ encorec -tc main.enc
Importing module Vector from ./Vector.enc
encorec: Cannot typecheck expression new [int](3)

The expression seems to typecheck fine when I typecheck the file on its own, but not when it's imported.

[supercooldave]

Challenge accepted.
I'll turn this one and Kiko's into test cases and resolve the bugs.

[supercooldave]

It seems that the problem is related to desugaring and modules.
It seems that imported modules are not desugarred before type checking.
Should be an easy fix.

[supercooldave]

Yep. Just one little line of code in the right place.

[supercooldave]

Now. I need to work out how to check in without it costing me cake.