Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix test naming | Aleksey Kladov | 2019-01-08 | 1 | -22/+22 |
* | remove duplication in tests | Aleksey Kladov | 2019-01-08 | 1 | -55/+33 |
* | Fix name resolution across source roots | Florian Diebold | 2019-01-08 | 1 | -1/+96 |
* | 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 |