Tao Zhu

module system

27

Haz3l module system. Current progress: Type Module defined (with detailed information as name-type pair), keyword **module** and operator **.** implemented, Type annotation for modules implemented. Use a pair of curly...

Add module alias to work with functions. `Module` keyword now automatically applies alias if the definition exp has module type (instead of generate from context).

code folding

8

module view. The target is to make a foldable view for module definitions. Currently I'm going to add a id map indicating whether a module definition is folded, which is...

When I select sth and click on the end where the cursor is not at It won't unselect and gives "FailedToPerform Cant_move".

Description: When my cursor is at this position and press ←: The cursor dosn't appear where it's expected This bug seems to occur on incomplete combined keyword.

In the cell-result, the position of decoration-container err-hole-container shifts when cast decoration exists as subscripts.

When I'm typing or copying this piece of code: ``` let x = let int1 = 1 in int1 in x ``` I expect: But the begining "in" of the...

case checker on recursive types

1

I expect this example to have no error warnings.

ADTs with hole type consistency have casting bug

1

I expect both examples to work alright but one gives exceptions and the other is stucked.