| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Add typechecking for RecursiveRecordTypeMerge. | FintanH | 2019-08-01 | 1 | -0/+3 | |
| |/ | | | | | | | | | | The implementation brings with it intersection_with_key over HashMaps to help with the type checking of records of records. The implementation first checks that the Const values line up with the LHS and RHS. Then checks that combining the records does not result in a FieldCollision. It will finally return the shared Const type of the arguments. | |||||
| * | Implement binary encoding | Nadrieril | 2019-05-12 | 1 | -0/+12 | |
| | | | | | Closes #39 | |||||
| * | 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 | 35 | -0/+1934 | |
 |
index : dhall_rust | |
| working copy forked from https://github.com/Nadrieril/dhall-rust |
| summaryrefslogtreecommitdiff |