ICE when trying to use record field as a type

[vickenty]

This program

type Foo a = bar.Baz a
{}

crashes gluon:

thread '<unnamed>' panicked at 'ICE: Alias group were not able to resolve an identifier', /checkout/src/libcore/option.rs:839:4

Looks like gluon does not allow specifying types via field access at all. In other situations field as a type produces 'type does not exist' or unification errors, which makes me think that perhaps this syntax should be rejected by the parser?

[Marwes]

Yep, looks like I accidentally pushed this commit b3aaabd to master. There is an open issue to allow projections to work here #192