summaryrefslogtreecommitdiff
path: root/dhall/src/phase (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-08-16s/Value/ValueF/Nadrieril3-184/+188
2019-08-16Try to minimize untyped TypedThunksNadrieril2-25/+36
2019-08-16Remove dead codeNadrieril3-34/+6
2019-08-16Typecheck before normalizing in testsNadrieril1-4/+1
2019-08-16Avoid capture when typechecking union constructorNadrieril1-2/+1
2019-08-16Reduce api surface of dhall crateNadrieril6-46/+41
Helps detect unused code
2019-08-16Use `!` type instead of custom empty typeNadrieril1-3/+3
2019-08-15Disable some unused unstable featuresNadrieril3-4/+3
2019-08-15Remove special closures from ValueNadrieril1-42/+55
Instead construct their values directly
2019-08-13Implement inline headers parsingNadrieril2-35/+23
2019-08-13Implement Hash for ParsedSubExprNadrieril2-23/+34
2019-08-13Store Imports in their own node instead of in EmbedNadrieril4-13/+25
2019-08-13Considerably simplify Embed handlingNadrieril2-3/+1
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril3-19/+17
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril4-39/+36
2019-08-13s/TypeThunk/TypedThunk/gNadrieril3-41/+49
2019-08-13Swap Typed and TypeThunkNadrieril1-70/+25
2019-08-12Refactor of File to be the combination of Directory and the file name,FintanH2-14/+26
where Directory is the Vector of component paths. The refactor meant changing some sections of the code where we were parsing and manipulating Files/Directories. This also includes a new trait Canonicalization which is needed for import logic.
2019-08-12Remove ensure_... macros in typecheckNadrieril1-115/+89
They weren't worth it
2019-08-10Remove dhall::expr!() macroNadrieril2-29/+81
It's a lot of hassle for not a lot of benefit
2019-08-10Update dhall-lang submoduleNadrieril1-0/+13
2019-08-08Update dhall-lang submoduleNadrieril1-0/+1
2019-08-08Add support for dependent typesNadrieril3-23/+56
2019-08-07Update dhall-lang submoduleNadrieril1-0/+3
2019-08-07Flatten nested let bindingsNadrieril1-6/+40
2019-08-07Remove an annoying redundancy in the test harnessNadrieril1-2/+2
2019-08-07Add binary-decode testsNadrieril1-0/+21
2019-08-07Add truncated Natural subtractionNadrieril2-0/+11
2019-08-07Remove union literals from the languageNadrieril3-25/+3
2019-08-07Various parsing tweaksNadrieril1-3/+3
2019-08-06Generalize empty list annotationsNadrieril1-2/+6
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril3-42/+66
2019-08-06rustfmtNadrieril1-1/+2
2019-08-06Auto-generate typechecking tests listNadrieril1-395/+0
2019-08-06Change some testsNadrieril1-0/+5
2019-08-06RFC3986 URLsNadrieril1-1/+7
2019-08-06Add some testsNadrieril1-0/+10
2019-08-06Add some new tests and implement import alternativesNadrieril2-3/+3
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 headersNadrieril3-15/+21
2019-08-03rustfmtNadrieril2-26/+64
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.FintanH2-7/+117
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.FintanH2-8/+126
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-21 04:55:11 +0000