| Commit message (Expand) | Author | Age | Files | Lines |
* | Add more detail to TypeMismatch error | Nadrieril | 2019-11-11 | 1 | -3/+14 |
* | Add a few more pretty errors | Nadrieril | 2019-11-11 | 1 | -8/+8 |
* | Move "Type error" error prefix | Nadrieril | 2019-11-11 | 1 | -7/+11 |
* | Display first pretty type error | Nadrieril | 2019-11-11 | 1 | -4/+4 |
* | Implement basicest Display for TypeError | Nadrieril | 2019-11-11 | 1 | -43/+18 |
* | Rename SubExpr to Expr, and Expr to RawExpr | Nadrieril | 2019-08-28 | 1 | -4/+4 |
* | Enforce type information almost everywhere | Nadrieril | 2019-08-25 | 1 | -1/+0 |
* | Standardize records of mixed kinds | Nadrieril | 2019-08-20 | 1 | -2/+0 |
* | Reuse work to avoid complicated recursion in record merging | Nadrieril | 2019-08-20 | 1 | -1/+0 |
* | Merge TypedValue and Value | Nadrieril | 2019-08-19 | 1 | -27/+27 |
* | Use TypedValue instead of Typed in normalize and typecheck | Nadrieril | 2019-08-19 | 1 | -27/+28 |
* | s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible | Nadrieril | 2019-08-19 | 1 | -10/+10 |
* | Implement inline headers parsing | Nadrieril | 2019-08-13 | 1 | -4/+4 |
* | Add new error type for serde_dhall | Nadrieril | 2019-08-13 | 1 | -12/+0 |
* | Move api into its own crate | Nadrieril | 2019-08-13 | 1 | -0/+10 |
* | Add support for dependent types | Nadrieril | 2019-08-08 | 1 | -2/+4 |
* | Add some new tests and implement import alternatives | Nadrieril | 2019-08-06 | 1 | -1/+1 |
* | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types | FintanH | 2019-08-03 | 1 | -1/+1 |
|\ |
|
| * | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine | FintanH | 2019-08-03 | 1 | -1/+1 |
| |\ |
|
| * | | Add the typechecking of RecursiveRecordMerge. | FintanH | 2019-08-01 | 1 | -0/+3 |
* | | | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types | FintanH | 2019-08-03 | 1 | -0/+2 |
|\ \ \
| | |/
| |/| |
|
| * | | Add case for RightBasedRecordMerge in the typechecking phase. | Fintan Halpenny | 2019-07-31 | 1 | -0/+2 |
| |/ |
|
* / | Add typechecking for RecursiveRecordTypeMerge. | FintanH | 2019-08-01 | 1 | -0/+3 |
|/ |
|
* | Implement binary encoding | Nadrieril | 2019-05-12 | 1 | -0/+12 |
* | Make shift fallible and improve shift ergonomics | Nadrieril | 2019-05-09 | 1 | -0/+1 |
* | Detect duplicate record fields in typecheck | Nadrieril | 2019-05-09 | 1 | -0/+2 |
* | Typecheck record projection | Nadrieril | 2019-05-08 | 1 | -0/+2 |
* | Typecheck merge | Nadrieril | 2019-05-08 | 1 | -0/+7 |
* | Unify typecheck and normalization contexts | Nadrieril | 2019-05-07 | 1 | -6/+0 |
* | Move main datatypes into their own modules | Nadrieril | 2019-05-06 | 1 | -1/+1 |
* | Consolidate errors in the error module | Nadrieril | 2019-05-06 | 1 | -0/+169 |