summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Update dhall-lang submoduleNadrieril2019-08-071-0/+0
|
* Remove an annoying redundancy in the test harnessNadrieril2019-08-073-50/+33
|
* Add binary-decode testsNadrieril2019-08-073-3/+74
|
* Add truncated Natural subtractionNadrieril2019-08-077-0/+15
|
* Remove union literals from the languageNadrieril2019-08-0710-104/+11
|
* Update dhall-lang submoduleNadrieril2019-08-071-0/+0
|
* Various parsing tweaksNadrieril2019-08-074-18/+3
|
* Forbid surrogate pairs and non-charactersNadrieril2019-08-074-2/+24
|
* Update dhall-lang submoduleNadrieril2019-08-071-0/+0
|
* Sort labels in projection expressionsNadrieril2019-08-073-5/+100
|
* Generalize empty list annotationsNadrieril2019-08-066-7/+37
|
* Circumvent spec errorNadrieril2019-08-061-0/+11
|
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-066-48/+74
|
* Update dhall-lang submoduleNadrieril2019-08-061-0/+0
|
* rustfmtNadrieril2019-08-062-5/+3
|
* Add toMap keywordNadrieril2019-08-064-0/+23
|
* Auto-generate typechecking tests listNadrieril2019-08-062-398/+33
|
* Change URL parsingNadrieril2019-08-063-1/+4
|
* Change some testsNadrieril2019-08-063-15/+18
|
* RFC3986 URLsNadrieril2019-08-069-3/+42
|
* Add some testsNadrieril2019-08-064-2/+31
|
* Braced escape sequencesNadrieril2019-08-063-4/+25
|
* Add some new tests and implement import alternativesNadrieril2019-08-065-4/+68
|
* rustfmtNadrieril2019-08-061-7/+10
|
* Update dhall-lang submoduleNadrieril2019-08-062-0/+2
|
* Remove old-style optional literalsNadrieril2019-08-0610-70/+22
|
* Inline headersNadrieril2019-08-067-15/+42
|
* rustfmtNadrieril2019-08-032-26/+64
|
* Merge pull request #93 from Nadrieril/catchup-specNadrieril Feneanar2019-08-0311-28/+53
|\ | | | | Do some catch up on the spec
| * Update dhall-lang submoduleNadrieril2019-08-031-0/+0
| |
| * Update dhall-lang submoduleNadrieril2019-08-035-5/+13
| |
| * Update dhall-lang submoduleNadrieril2019-08-037-21/+38
| |
| * Update dhall-lang submoduleNadrieril2019-08-032-2/+2
| |
* | Merge pull request #92 from FintanH/fintan/typecheck-combine-typesNadrieril Feneanar2019-08-033-7/+115
|\ \ | |/ |/| Add typechecking for RecursiveRecordTypeMerge
| * Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-033-9/+129
| |\ | |/ |/|
* | Merge pull request #90 from FintanH/fintan/typecheck-combineNadrieril Feneanar2019-08-033-9/+130
|\ \ | | | | | | Add the typechecking of RecursiveRecordMerge.
| * \ Merge remote-tracking branch 'origin/master' into fintan/typecheck-combineFintanH2019-08-034-15/+114
| |\ \ | |/ / |/| |
| * | Mark RecursiveRecordMerge as unreachableFintanH2019-08-011-0/+1
| | |
| * | Add the typechecking of RecursiveRecordMerge.FintanH2019-08-013-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 logicFintanH2019-08-031-11/+7
| | |
| | * Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-034-6/+106
| | |\ | |_|/ |/| |
* | | Merge pull request #88 from FintanH/fintan/typecheck-preferNadrieril Feneanar2019-08-033-6/+50
|\ \ \ | | | | | | | | Add case for RightBasedRecordMerge in the typechecking phase.
| * | | Add unreachable call for RightBasedRecordMerge caseFintanH2019-07-311-0/+1
| | | |
| * | | Reuse the merge_maps function to implement the right-biased unionFintanH2019-07-312-7/+7
| | | |
| * | | Add case for RightBasedRecordMerge in the typechecking phase.Fintan Halpenny2019-07-312-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-docsNadrieril Feneanar2019-07-251-0/+56
|\ \ \ | |/ / |/| | Add Contributing Section to README
| * | Add section to README for contributing. It describes how to set up the git ↵FintanH2019-07-241-0/+56
|/ / | | | | | | repo, rustup, and cargo
| * Add typechecking for RecursiveRecordTypeMerge.FintanH2019-08-013-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 bufferNadrieril2019-05-121-97/+113
|
* Commit test bufferNadrieril2019-05-121-0/+113
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 16:40:52 +0000