Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2020-04-06 | Move builtins module up a level | Nadrieril | 1 | -494/+0 | |
2020-04-06 | Extract operation-related code to a new module | Nadrieril | 1 | -2/+3 | |
2020-04-06 | Split off operations from main expr enum | Nadrieril | 1 | -14/+14 | |
2020-03-31 | Introduce option builder | Nadrieril | 1 | -3/+3 | |
2020-03-31 | Brutally make all of dhall pub | Nadrieril | 1 | -3/+3 | |
2020-03-31 | Nir::normalize isn't useful | Nadrieril | 1 | -7/+0 | |
It pretends to normalize but actually can't normalize under lambdas. The correct way to normalize a Nir is to convert it to Hir. | |||||
2020-03-31 | Improve handling of builtin types in Nir | Nadrieril | 1 | -14/+17 | |
2020-03-31 | Remove top-level Expr aliases | Nadrieril | 1 | -2/+1 | |
2020-03-31 | Rename LitKind to NumKind | Nadrieril | 1 | -27/+27 | |
2020-03-17 | Run clippy | Nadrieril | 1 | -3/+3 | |
2020-02-17 | Rename Value to Nir | Nadrieril | 1 | -59/+59 | |
2020-02-11 | Introduce LitKind to factor out common enum nodes | Nadrieril | 1 | -56/+63 | |
2020-02-11 | Remove the Embed variant from ExprKind | Nadrieril | 1 | -1/+1 | |
2020-02-09 | Remove types from NzEnv | Nadrieril | 1 | -2/+5 | |
2020-02-09 | Remove all types from Value | Nadrieril | 1 | -11/+3 | |
2020-02-09 | Take Hir for typecheck | Nadrieril | 1 | -5/+7 | |
2020-02-09 | Remove extra types stored in Value | Nadrieril | 1 | -22/+6 | |
2020-02-09 | Remove most TyExpr from normalization | Nadrieril | 1 | -9/+5 | |
2020-02-09 | Remove move type propagation through Value | Nadrieril | 1 | -31/+10 | |
2020-02-05 | Normalize toMap | Nadrieril | 1 | -10/+5 | |
2020-01-30 | Use OnceCell to enable returning &ValKind | Nadrieril | 1 | -3/+3 | |
2020-01-30 | Clarify normalization to ensure we only nze once | Nadrieril | 1 | -4/+3 | |
2020-01-30 | Factor out text literals in Value | Nadrieril | 1 | -44/+23 | |
This allows encapsulating invariants properly and reducing clutter | |||||
2020-01-30 | Remove type parameter from ValueKind | Nadrieril | 1 | -9/+4 | |
2020-01-30 | Move main API to lib.rs | Nadrieril | 1 | -1/+1 | |
2020-01-30 | Introduce Thunks and normalize lazily | Nadrieril | 1 | -1/+1 | |
2020-01-30 | s/as_whnf/kind/ | Nadrieril | 1 | -20/+20 | |
2020-01-30 | Encapsulate partially applied builtin in a separate struct | Nadrieril | 1 | -3/+77 | |
2020-01-30 | No need for the current env to tck Foo/build closures | Nadrieril | 1 | -5/+1 | |
2020-01-30 | Clean imports | Nadrieril | 1 | -7/+8 | |
2020-01-30 | Actually, no need for keeping extra args in apply_builtin | Nadrieril | 1 | -25/+10 | |
2020-01-30 | Move builtins-related code to its own module | Nadrieril | 1 | -0/+511 | |