Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types | FintanH | 2019-08-03 | 1 | -1/+1 |
|\ | |||||
| * | Reuse the merge_maps function to implement the right-biased union | FintanH | 2019-07-31 | 1 | -1/+1 |
| | | |||||
* | | Add typechecking for RecursiveRecordTypeMerge. | FintanH | 2019-08-01 | 1 | -0/+32 |
|/ | | | | | | | | | | 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. | ||||
* | clippy | Nadrieril | 2019-05-12 | 1 | -97/+102 |
| | |||||
* | Make visibilities more consistent | Nadrieril | 2019-05-09 | 1 | -10/+7 |
| | |||||
* | ExprF need not be generic in Label | Nadrieril | 2019-05-09 | 1 | -5/+4 |
| | |||||
* | Detect duplicate record fields in typecheck | Nadrieril | 2019-05-09 | 1 | -9/+9 |
| | |||||
* | Generate normalization tests automatically | Nadrieril | 2019-05-09 | 1 | -361/+0 |
| | |||||
* | Correctly shift free variables in normalization | Nadrieril | 2019-05-09 | 1 | -1/+1 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-05-09 | 1 | -13/+23 |
| | |||||
* | Move binop normalization into a separate function | Nadrieril | 2019-05-08 | 1 | -165/+153 |
| | |||||
* | Implement normalization for record merging operators | Nadrieril | 2019-05-08 | 1 | -21/+110 |
| | |||||
* | Implement normalization of missing builtins | Nadrieril | 2019-05-08 | 1 | -21/+68 |
| | |||||
* | Promote shift and subst_shift to traits | Nadrieril | 2019-05-07 | 1 | -0/+1 |
| | |||||
* | Small mistake | Nadrieril | 2019-05-07 | 1 | -1/+3 |
| | |||||
* | Move main datatypes into their own modules | Nadrieril | 2019-05-06 | 1 | -984/+15 |
| | |||||
* | Reorganize dhall into a phase structure | Nadrieril | 2019-05-06 | 1 | -0/+1888 |