Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fix name resolution across source roots | Florian Diebold | 2019-01-08 | 1 | -1/+96 | |
| | | | | It was using the wrong name in that case. | |||||
* | Fix use tree desugaring | Florian Diebold | 2019-01-08 | 1 | -0/+29 | |
| | ||||||
* | dont reexport module id | Aleksey Kladov | 2019-01-08 | 1 | -6/+7 | |
| | ||||||
* | Import fixpoint loop for name resolution | Florian Diebold | 2019-01-08 | 1 | -1/+30 | |
| | ||||||
* | fix the test | Aleksey Kladov | 2019-01-06 | 1 | -2/+2 | |
| | ||||||
* | flatten module structure | Aleksey Kladov | 2019-01-06 | 1 | -0/+273 | |