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 |