Aleksey Kladov
|
bcb6fabd15
|
fix test naming
|
2019-01-09 00:49:21 +03:00 |
|
Aleksey Kladov
|
8f93e7b9a4
|
remove duplication in tests
|
2019-01-09 00:48:54 +03:00 |
|
Florian Diebold
|
946b0ba02c
|
Fix name resolution across source roots
It was using the wrong name in that case.
|
2019-01-08 15:16:24 +01:00 |
|
Florian Diebold
|
d4b44a092f
|
Fix use tree desugaring
|
2019-01-08 15:00:29 +01:00 |
|
Aleksey Kladov
|
544c63b58e
|
dont reexport module id
|
2019-01-08 16:35:36 +03:00 |
|
Florian Diebold
|
dc186c0fcc
|
Import fixpoint loop for name resolution
|
2019-01-08 12:53:31 +01:00 |
|
Aleksey Kladov
|
17b2994b99
|
fix the test
|
2019-01-06 17:38:20 +03:00 |
|
Aleksey Kladov
|
fd4456d0ec
|
flatten module structure
|
2019-01-06 17:36:10 +03:00 |
|