Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2020-11-01 | Ensure that the hash always gets checked | Nadrieril | 1 | -13/+18 | |
2020-11-01 | Typed and TypedHir are the same | Nadrieril | 1 | -6/+7 | |
2020-11-01 | Untangle caching code | Nadrieril | 1 | -8/+24 | |
2020-11-01 | Store file cache in ImportEnv | Nadrieril | 1 | -9/+14 | |
2020-11-01 | Untangle ImportEnv::handle_import | Nadrieril | 1 | -22/+21 | |
2020-04-05 | Fix import bug | Nadrieril | 1 | -9/+11 | |
2020-04-05 | Fix clippy warnings | Nadrieril | 1 | -7/+4 | |
2020-03-31 | Brutally make all of dhall pub | Nadrieril | 1 | -4/+4 | |
2020-03-17 | Run clippy | Nadrieril | 1 | -1/+1 | |
2020-03-05 | Implement conservative sanity checking | Nadrieril | 1 | -3/+3 | |
2020-03-05 | Cache imports correctly | Nadrieril | 1 | -12/+12 | |
2020-02-19 | Avoid re-typechecking after import | Nadrieril | 1 | -4/+4 | |
2020-02-17 | Extract resolve-relevant envs together | Nadrieril | 1 | -0/+104 | |
2020-02-17 | Move hir and resolve into a module | Nadrieril | 1 | -0/+0 | |