| Commit message (Expand) | Author | Age | Files | Lines |
* | Add mapping functions to InterpolatedTextContents | Nadrieril | 2019-09-03 | 2 | -26/+8 |
* | Use map_mut in ValueF::normalize_mut | Nadrieril | 2019-09-03 | 2 | -16/+2 |
* | Resolve imports by mutating Expr instead of cloning it | Nadrieril | 2019-09-03 | 1 | -19/+22 |
* | No need to change the type of Embed when resolving anymore | Nadrieril | 2019-09-03 | 1 | -2/+2 |
* | Upgrade rust toolchain | Nadrieril | 2019-09-03 | 3 | -25/+18 |
* | Don't URL-decode path segments | Nadrieril | 2019-08-31 | 1 | -0/+4 |
* | Implement parsing of `toMap` keyword | Nadrieril | 2019-08-31 | 4 | -9/+13 |
* | Rework test harness to prepare for new types of tests | Nadrieril | 2019-08-30 | 3 | -362/+457 |
* | Cleanup conversion of `Value` to `Expr` | Nadrieril | 2019-08-30 | 3 | -102/+66 |
* | Rename SubExpr to Expr, and Expr to RawExpr | Nadrieril | 2019-08-28 | 7 | -59/+54 |
* | clippy | Nadrieril | 2019-08-27 | 3 | -5/+5 |
* | Tweak tests to avoid double compilation | Nadrieril | 2019-08-26 | 3 | -3/+7 |
* | Check correctness of type info in a few more places | Nadrieril | 2019-08-26 | 1 | -17/+43 |
* | Remove now unnecessary VoVF enum | Nadrieril | 2019-08-25 | 3 | -98/+53 |
* | Rework apply_builtin to enforce preservation of type information | Nadrieril | 2019-08-25 | 2 | -200/+171 |
* | Enforce type information almost everywhere | Nadrieril | 2019-08-25 | 5 | -63/+53 |
* | Check consistency of type information | Nadrieril | 2019-08-25 | 2 | -27/+30 |
* | Keep type information through normalization | Nadrieril | 2019-08-25 | 3 | -90/+170 |
* | Clarify which syntax elements are completely handled in the tck phase | Nadrieril | 2019-08-23 | 2 | -25/+24 |
* | Keep type information after RecursiveRecordTypeMerge | Nadrieril | 2019-08-23 | 2 | -89/+23 |
* | Don't use take_mut::take lightly since normalize_whnf might panic | Nadrieril | 2019-08-21 | 1 | -9/+18 |
* | Reduce API surface of dhall crate | Nadrieril | 2019-08-20 | 3 | -24/+10 |
* | Move type construction fns from serde_dhall to dhall | Nadrieril | 2019-08-20 | 1 | -1/+34 |
* | Use Ret in apply_builtin | Nadrieril | 2019-08-20 | 2 | -96/+101 |
* | Propagate type information in Value::app() | Nadrieril | 2019-08-20 | 3 | -35/+33 |
* | Track evaluation status alongside ValueF in VoVF | Nadrieril | 2019-08-20 | 3 | -68/+80 |
* | No need for Cow in return type of get_type | Nadrieril | 2019-08-20 | 4 | -27/+24 |
* | Introduce a new enum to store either a Value or a ValueF | Nadrieril | 2019-08-20 | 4 | -74/+147 |
* | Naming tweaks | Nadrieril | 2019-08-20 | 4 | -41/+33 |
* | Add Value::from_builtin | Nadrieril | 2019-08-20 | 3 | -37/+24 |
* | Clarify conversion of Const/Builtin to Value | Nadrieril | 2019-08-20 | 2 | -21/+29 |
* | Cleanup | Nadrieril | 2019-08-20 | 5 | -52/+65 |
* | Standardize records of mixed kinds | Nadrieril | 2019-08-20 | 2 | -53/+17 |
* | Reuse work to avoid complicated recursion in record merging | Nadrieril | 2019-08-20 | 3 | -151/+25 |
* | Tweak Ok/Err handling in typecheck | Nadrieril | 2019-08-20 | 1 | -157/+128 |
* | Tweak Value API | Nadrieril | 2019-08-19 | 1 | -28/+19 |
* | Merge TypedValue and Value | Nadrieril | 2019-08-19 | 7 | -354/+232 |
* | Reduce untyped construction of Values | Nadrieril | 2019-08-19 | 5 | -108/+113 |
* | Use TypedValue instead of Typed in normalize and typecheck | Nadrieril | 2019-08-19 | 8 | -334/+255 |
* | s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible | Nadrieril | 2019-08-19 | 7 | -192/+182 |
* | Merge ValueInternal and TypedValueInternal | Nadrieril | 2019-08-18 | 1 | -111/+79 |
* | Rework ValueInternal and clarify invariants around ValueF | Nadrieril | 2019-08-18 | 4 | -78/+85 |
* | s/Thunk/Value/ | Nadrieril | 2019-08-17 | 8 | -925/+927 |
* | Share type alongside the value in a thunk | Nadrieril | 2019-08-16 | 2 | -40/+110 |
* | Use generic Shift/Subst impls | Nadrieril | 2019-08-16 | 3 | -192/+186 |
* | Store type in Thunk | Nadrieril | 2019-08-16 | 2 | -58/+71 |
* | Remove Const-optimization for now | Nadrieril | 2019-08-16 | 1 | -14/+5 |
* | s/Value/ValueF/ | Nadrieril | 2019-08-16 | 7 | -337/+343 |
* | Try to minimize untyped TypedThunks | Nadrieril | 2019-08-16 | 3 | -32/+42 |
* | fixup! No need for generic Context anymore | Nadrieril | 2019-08-16 | 1 | -1/+1 |