Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add binary-decode tests | Nadrieril | 2019-08-07 | 3 | -3/+74 |
| | |||||
* | Add truncated Natural subtraction | Nadrieril | 2019-08-07 | 7 | -0/+15 |
| | |||||
* | Remove union literals from the language | Nadrieril | 2019-08-07 | 10 | -104/+11 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-08-07 | 1 | -0/+0 |
| | |||||
* | Various parsing tweaks | Nadrieril | 2019-08-07 | 4 | -18/+3 |
| | |||||
* | Forbid surrogate pairs and non-characters | Nadrieril | 2019-08-07 | 4 | -2/+24 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-08-07 | 1 | -0/+0 |
| | |||||
* | Sort labels in projection expressions | Nadrieril | 2019-08-07 | 3 | -5/+100 |
| | |||||
* | Generalize empty list annotations | Nadrieril | 2019-08-06 | 6 | -7/+37 |
| | |||||
* | Circumvent spec error | Nadrieril | 2019-08-06 | 1 | -0/+11 |
| | |||||
* | Prepare for https://github.com/dhall-lang/dhall-lang/pull/630 | Nadrieril | 2019-08-06 | 6 | -48/+74 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-08-06 | 1 | -0/+0 |
| | |||||
* | rustfmt | Nadrieril | 2019-08-06 | 2 | -5/+3 |
| | |||||
* | Add toMap keyword | Nadrieril | 2019-08-06 | 4 | -0/+23 |
| | |||||
* | Auto-generate typechecking tests list | Nadrieril | 2019-08-06 | 2 | -398/+33 |
| | |||||
* | Change URL parsing | Nadrieril | 2019-08-06 | 3 | -1/+4 |
| | |||||
* | Change some tests | Nadrieril | 2019-08-06 | 3 | -15/+18 |
| | |||||
* | RFC3986 URLs | Nadrieril | 2019-08-06 | 9 | -3/+42 |
| | |||||
* | Add some tests | Nadrieril | 2019-08-06 | 4 | -2/+31 |
| | |||||
* | Braced escape sequences | Nadrieril | 2019-08-06 | 3 | -4/+25 |
| | |||||
* | Add some new tests and implement import alternatives | Nadrieril | 2019-08-06 | 5 | -4/+68 |
| | |||||
* | rustfmt | Nadrieril | 2019-08-06 | 1 | -7/+10 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-08-06 | 2 | -0/+2 |
| | |||||
* | Remove old-style optional literals | Nadrieril | 2019-08-06 | 10 | -70/+22 |
| | |||||
* | Inline headers | Nadrieril | 2019-08-06 | 7 | -15/+42 |
| | |||||
* | rustfmt | Nadrieril | 2019-08-03 | 2 | -26/+64 |
| | |||||
* | Merge pull request #93 from Nadrieril/catchup-spec | Nadrieril Feneanar | 2019-08-03 | 11 | -28/+53 |
|\ | | | | | Do some catch up on the spec | ||||
| * | Update dhall-lang submodule | Nadrieril | 2019-08-03 | 1 | -0/+0 |
| | | |||||
| * | Update dhall-lang submodule | Nadrieril | 2019-08-03 | 5 | -5/+13 |
| | | |||||
| * | Update dhall-lang submodule | Nadrieril | 2019-08-03 | 7 | -21/+38 |
| | | |||||
| * | Update dhall-lang submodule | Nadrieril | 2019-08-03 | 2 | -2/+2 |
| | | |||||
* | | Merge pull request #92 from FintanH/fintan/typecheck-combine-types | Nadrieril Feneanar | 2019-08-03 | 3 | -7/+115 |
|\ \ | |/ |/| | Add typechecking for RecursiveRecordTypeMerge | ||||
| * | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types | FintanH | 2019-08-03 | 3 | -9/+129 |
| |\ | |/ |/| | |||||
* | | Merge pull request #90 from FintanH/fintan/typecheck-combine | Nadrieril Feneanar | 2019-08-03 | 3 | -9/+130 |
|\ \ | | | | | | | Add the typechecking of RecursiveRecordMerge. | ||||
| * \ | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine | FintanH | 2019-08-03 | 4 | -15/+114 |
| |\ \ | |/ / |/| | | |||||
| * | | Mark RecursiveRecordMerge as unreachable | FintanH | 2019-08-01 | 1 | -0/+1 |
| | | | |||||
| * | | Add the typechecking of RecursiveRecordMerge. | FintanH | 2019-08-01 | 3 | -8/+129 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | This introduces an external function for HashMaps to perform an outer join so that you can do a unionWith but with more power by having a new tagert type. Using outer_join and recursively looking through records of records we have an implementation for combining records. | ||||
| | * | Simplify Const checking logic | FintanH | 2019-08-03 | 1 | -11/+7 |
| | | | |||||
| | * | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types | FintanH | 2019-08-03 | 4 | -6/+106 |
| | |\ | |_|/ |/| | | |||||
* | | | Merge pull request #88 from FintanH/fintan/typecheck-prefer | Nadrieril Feneanar | 2019-08-03 | 3 | -6/+50 |
|\ \ \ | | | | | | | | | Add case for RightBasedRecordMerge in the typechecking phase. | ||||
| * | | | Add unreachable call for RightBasedRecordMerge case | FintanH | 2019-07-31 | 1 | -0/+1 |
| | | | | |||||
| * | | | Reuse the merge_maps function to implement the right-biased union | FintanH | 2019-07-31 | 2 | -7/+7 |
| | | | | |||||
| * | | | Add case for RightBasedRecordMerge in the typechecking phase. | Fintan Halpenny | 2019-07-31 | 2 | -5/+48 |
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The implementation checks the types and kinds of the LHS and RHS. In the happy path it unions the HashMap prefering keys on the RHS over the LHS, and the result is the type of the resulting HashMap. The error cases are: - If the kinds of the records differ it results in a RecordMismatch error. - If either the LHS or RHS are not records it results in a MustCombineRecord error. | ||||
* | | | Merge pull request #87 from FintanH/fintan/add-setup-docs | Nadrieril Feneanar | 2019-07-25 | 1 | -0/+56 |
|\ \ \ | |/ / |/| | | Add Contributing Section to README | ||||
| * | | Add section to README for contributing. It describes how to set up the git ↵ | FintanH | 2019-07-24 | 1 | -0/+56 |
|/ / | | | | | | | repo, rustup, and cargo | ||||
| * | Add typechecking for RecursiveRecordTypeMerge. | FintanH | 2019-08-01 | 3 | -7/+120 |
|/ | | | | | | | | | | 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. | ||||
* | Update test buffer | Nadrieril | 2019-05-12 | 1 | -97/+113 |
| | |||||
* | Commit test buffer | Nadrieril | 2019-05-12 | 1 | -0/+113 |
| | |||||
* | Tweak | Nadrieril | 2019-05-12 | 1 | -12/+12 |
| | |||||
* | Finish implementing binary encoding | Nadrieril | 2019-05-12 | 2 | -8/+11 |
| |