Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2020-12-07 | Avoid storing an import before we checked its hash | Nadrieril | 1 | -8/+13 | |
2020-12-07 | Thread cx everywhere else imports are read | Nadrieril | 1 | -5/+13 | |
2020-12-07 | Tag cx ids with the cx lifetime | Nadrieril | 1 | -3/+3 | |
To make sure we don't let ids escape and we don't mix scopes. | |||||
2020-12-07 | Thread cx through normalization | Nadrieril | 1 | -5/+8 | |
2020-12-07 | Make global store of imports and import results | Nadrieril | 1 | -18/+19 | |
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 | |