summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15Move contents of dhall_syntax to dhallNadrieril14-7/+3118
2019-12-15Refer to semantics module properlyNadrieril12-46/+44
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril11-74/+63
2019-12-15fixup! Reexport dhall_syntax as a module in dhallNadrieril2-3/+5
2019-12-15Move contents of dhall under a semantics submoduleNadrieril14-3/+5
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril12-41/+45
2019-11-11Add more detail to TypeMismatch errorNadrieril6-3/+59
2019-11-11rustfmtNadrieril2-3/+9
2019-11-11Remove unused error textsNadrieril34-1765/+0
2019-11-11typoNadrieril1-2/+2
2019-11-11Parse projection by expressionNadrieril4-22/+13
2019-11-11Explain TypeError testsNadrieril1-0/+3
2019-11-11Add a few more pretty errorsNadrieril11-17/+45
2019-11-11Propagate more spansNadrieril2-5/+9
2019-11-11Move "Type error" error prefixNadrieril4-13/+17
2019-11-11Update rust toolchainNadrieril1-1/+0
2019-11-11Display first pretty type errorNadrieril6-9/+47
2019-11-11Store a `Span` in `Value`Nadrieril2-8/+29
2019-11-11Capture absence of span in Span itselfNadrieril3-4/+15
2019-11-11Implement basicest Display for TypeErrorNadrieril88-130/+105
2019-11-11Test type error messagesNadrieril89-8/+150
2019-11-11Generate import tests automaticallyNadrieril4-64/+57
2019-11-11Remove unused "typecheck" testsNadrieril1-21/+0
2019-11-11Run `cargo fmt`Nadrieril3-53/+65
2019-09-20Update dhall-lang submoduleNadrieril1-1/+7
2019-09-20Update dhall-lang submoduleNadrieril1-39/+13
2019-09-03Add mapping functions to InterpolatedTextContentsNadrieril2-26/+8
2019-09-03Use map_mut in ValueF::normalize_mutNadrieril2-16/+2
2019-09-03Resolve imports by mutating Expr instead of cloning itNadrieril1-19/+22
2019-09-03Move Canonicalize into resolve.Fintan Halpenny2-5/+75
2019-09-03swp file accidentally checked inFintan Halpenny1-0/+0
2019-09-03No need to change the type of Embed when resolving anymoreNadrieril1-2/+2
2019-09-03Upgrade rust toolchainNadrieril3-25/+18
2019-09-02Remove the notion of Directory and have File be the vector of componentsFintan Halpenny1-13/+5
2019-08-31Don't URL-decode path segmentsNadrieril1-0/+4
2019-08-31Implement parsing of `toMap` keywordNadrieril4-9/+13
2019-08-30Rework test harness to prepare for new types of testsNadrieril3-362/+457
2019-08-30Cleanup conversion of `Value` to `Expr`Nadrieril3-102/+66
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril7-59/+54
2019-08-27clippyNadrieril3-5/+5
2019-08-26Tweak tests to avoid double compilationNadrieril3-3/+7
2019-08-26Check correctness of type info in a few more placesNadrieril1-17/+43
2019-08-25Remove now unnecessary VoVF enumNadrieril3-98/+53
2019-08-25Rework apply_builtin to enforce preservation of type informationNadrieril2-200/+171
2019-08-25Enforce type information almost everywhereNadrieril5-63/+53
2019-08-25Check consistency of type informationNadrieril2-27/+30
2019-08-25Keep type information through normalizationNadrieril3-90/+170
2019-08-23Clarify which syntax elements are completely handled in the tck phaseNadrieril2-25/+24
2019-08-23Keep type information after RecursiveRecordTypeMergeNadrieril2-89/+23
2019-08-21Don't use take_mut::take lightly since normalize_whnf might panicNadrieril1-9/+18