summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-08-10Remove dhall::expr!() macroNadrieril6-61/+137
It's a lot of hassle for not a lot of benefit
2019-08-10Update dhall-lang submoduleNadrieril2-4/+22
2019-08-08Update dhall-lang submoduleNadrieril2-0/+4
2019-08-08Add support for dependent typesNadrieril8-27/+87
2019-08-07Update dhall-lang submoduleNadrieril2-0/+4
2019-08-07Flatten nested let bindingsNadrieril2-6/+43
2019-08-07Normalize field selection further by inspecting the argumentNadrieril1-0/+12
2019-08-07Remove an annoying redundancy in the test harnessNadrieril3-50/+33
2019-08-07Add binary-decode testsNadrieril3-3/+74
2019-08-07Add truncated Natural subtractionNadrieril2-0/+11
2019-08-07Remove union literals from the languageNadrieril4-37/+6
2019-08-07Various parsing tweaksNadrieril2-7/+3
2019-08-07Forbid surrogate pairs and non-charactersNadrieril1-0/+2
2019-08-06Generalize empty list annotationsNadrieril2-2/+8
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril4-45/+71
2019-08-06rustfmtNadrieril1-1/+2
2019-08-06Add toMap keywordNadrieril1-0/+21
2019-08-06Auto-generate typechecking tests listNadrieril2-398/+33
2019-08-06Change URL parsingNadrieril1-0/+1
2019-08-06Change some testsNadrieril2-15/+18
2019-08-06RFC3986 URLsNadrieril2-3/+25
2019-08-06Add some testsNadrieril2-2/+28
2019-08-06Add some new tests and implement import alternativesNadrieril3-4/+4
2019-08-06rustfmtNadrieril1-7/+10
2019-08-06Update dhall-lang submoduleNadrieril1-0/+2
2019-08-06Remove old-style optional literalsNadrieril3-37/+16
2019-08-06Inline headersNadrieril4-15/+29
2019-08-03rustfmtNadrieril2-26/+64
2019-08-03Update dhall-lang submoduleNadrieril1-5/+10
2019-08-03Update dhall-lang submoduleNadrieril1-12/+12
2019-08-03Update dhall-lang submoduleNadrieril1-2/+2
2019-08-03Simplify Const checking logicFintanH1-11/+7
2019-08-01Add typechecking for RecursiveRecordTypeMerge.FintanH3-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.
2019-08-01Mark RecursiveRecordMerge as unreachableFintanH1-0/+1
2019-08-01Add the typechecking of RecursiveRecordMerge.FintanH3-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.
2019-07-31Add unreachable call for RightBasedRecordMerge caseFintanH1-0/+1
2019-07-31Reuse the merge_maps function to implement the right-biased unionFintanH2-7/+7
2019-07-31Add case for RightBasedRecordMerge in the typechecking phase.Fintan Halpenny2-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.
2019-05-12Finish implementing binary encodingNadrieril2-8/+11
2019-05-12clippyNadrieril6-126/+118
2019-05-12Split-off printer and binary encoding tests from parser testsNadrieril2-37/+85
2019-05-12Include success or failure prefix in test filteringNadrieril4-24/+18
2019-05-12Implement binary encodingNadrieril8-32/+359
Closes #39
2019-05-10Write a custom map type that allows duplicatesNadrieril1-29/+38
2019-05-09Merge Type and TypedNadrieril3-105/+55
2019-05-09Fix missing methods for testsNadrieril1-0/+8
2019-05-09Make visibilities more consistentNadrieril10-125/+106
2019-05-09Rewrite Deserialize trait around new Value and TypeNadrieril7-88/+73
2019-05-09Rewrite the StaticType trait and everything around itNadrieril9-276/+223
2019-05-09Tweak TypedNadrieril1-15/+16
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 21:09:47 +0000