Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-08-25 | Enforce type information almost everywhere | Nadrieril | 1 | -3/+0 | |
2019-08-20 | Reduce API surface of dhall crate | Nadrieril | 1 | -13/+2 | |
2019-08-20 | Use Ret in apply_builtin | Nadrieril | 1 | -6/+0 | |
2019-08-20 | Track evaluation status alongside ValueF in VoVF | Nadrieril | 1 | -10/+22 | |
2019-08-20 | Introduce a new enum to store either a Value or a ValueF | Nadrieril | 1 | -3/+6 | |
2019-08-20 | Naming tweaks | Nadrieril | 1 | -6/+5 | |
2019-08-20 | Add Value::from_builtin | Nadrieril | 1 | -10/+0 | |
2019-08-20 | Cleanup | Nadrieril | 1 | -3/+3 | |
2019-08-19 | Merge TypedValue and Value | Nadrieril | 1 | -13/+13 | |
2019-08-19 | Reduce untyped construction of Values | Nadrieril | 1 | -4/+10 | |
2019-08-19 | Use TypedValue instead of Typed in normalize and typecheck | Nadrieril | 1 | -3/+3 | |
Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized | |||||
2019-08-19 | s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible | Nadrieril | 1 | -3/+4 | |
2019-08-18 | Rework ValueInternal and clarify invariants around ValueF | Nadrieril | 1 | -21/+9 | |
2019-08-17 | s/Thunk/Value/ | Nadrieril | 1 | -25/+25 | |
2019-08-16 | Use generic Shift/Subst impls | Nadrieril | 1 | -128/+40 | |
2019-08-16 | s/Value/ValueF/ | Nadrieril | 1 | -106/+106 | |
2019-08-16 | Remove dead code | Nadrieril | 1 | -1/+4 | |
2019-08-16 | Reduce api surface of dhall crate | Nadrieril | 1 | -13/+6 | |
Helps detect unused code | |||||
2019-08-15 | rustfmt | Nadrieril | 1 | -2/+1 | |
2019-08-15 | Fix variable substitution | Nadrieril | 1 | -4/+2 | |
I have no idea how this didn't get caught before | |||||
2019-08-15 | Remove special closures from Value | Nadrieril | 1 | -94/+1 | |
Instead construct their values directly | |||||
2019-08-14 | Fix typo in normalization | Nadrieril | 1 | -1/+1 | |
2019-08-13 | Considerably simplify Embed handling | Nadrieril | 1 | -5/+3 | |
2019-08-13 | Stop tracking the absence of Embed values at the type level | Nadrieril | 1 | -5/+5 | |
2019-08-13 | s/TypeThunk/TypedThunk/g | Nadrieril | 1 | -12/+12 | |
2019-08-10 | Remove dhall::expr!() macro | Nadrieril | 1 | -5/+45 | |
It's a lot of hassle for not a lot of benefit | |||||
2019-08-08 | Add support for dependent types | Nadrieril | 1 | -1/+18 | |
2019-08-07 | Remove union literals from the language | Nadrieril | 1 | -12/+3 | |
2019-08-06 | Prepare for https://github.com/dhall-lang/dhall-lang/pull/630 | Nadrieril | 1 | -3/+5 | |
2019-05-12 | clippy | Nadrieril | 1 | -1/+1 | |
2019-05-09 | Make visibilities more consistent | Nadrieril | 1 | -13/+10 | |
2019-05-09 | ExprF need not be generic in Label | Nadrieril | 1 | -3/+1 | |
2019-05-09 | Make shift fallible and improve shift ergonomics | Nadrieril | 1 | -53/+68 | |
2019-05-09 | Detect duplicate record fields in typecheck | Nadrieril | 1 | -6/+6 | |
2019-05-08 | Implement normalization of missing builtins | Nadrieril | 1 | -2/+7 | |
2019-05-07 | Promote shift and subst_shift to traits | Nadrieril | 1 | -3/+7 | |
2019-05-07 | Move AlphaVar and AlphaLabel into a new module | Nadrieril | 1 | -103/+2 | |
2019-05-07 | Small mistake | Nadrieril | 1 | -1/+1 | |
2019-05-07 | Document Value and Thunk | Nadrieril | 1 | -5/+16 | |
2019-05-06 | Move main datatypes into their own modules | Nadrieril | 1 | -0/+616 | |