Florian Diebold 1212e59bee Fix assertion error in unification (hopefully) ... Currently, all types that we handle during inference need to be resolved as far as possible at the time. It's maybe too brittle of an invariant; I need to think how we can do this better. This should fix #484 though, I hope (if it's the same case as I managed to reproduce).		2019-01-11 22:59:00 +01:00
..
src	Fix assertion error in unification (hopefully)	2019-01-11 22:59:00 +01:00
Cargo.toml	nicer trailing comma handling in types	2019-01-09 19:14:21 +03:00