summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-17Move pest file generation to dhall/build.rsNadrieril3-1/+184
2019-12-15Move contents of dhall_syntax to dhallNadrieril13-3/+3108
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 errorNadrieril1-3/+14
2019-11-11rustfmtNadrieril2-3/+9
2019-11-11Remove unused error textsNadrieril34-1765/+0
2019-11-11typoNadrieril1-2/+2
2019-11-11Parse projection by expressionNadrieril3-0/+12
2019-11-11Explain TypeError testsNadrieril1-0/+3
2019-11-11Add a few more pretty errorsNadrieril2-8/+11
2019-11-11Propagate more spansNadrieril2-5/+9
2019-11-11Move "Type error" error prefixNadrieril1-7/+11
2019-11-11Update rust toolchainNadrieril1-1/+0
2019-11-11Display first pretty type errorNadrieril3-6/+29
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 TypeErrorNadrieril1-43/+18
2019-11-11Test type error messagesNadrieril1-8/+34
2019-11-11Generate import tests automaticallyNadrieril3-64/+15
2019-11-11Remove unused "typecheck" testsNadrieril1-21/+0
2019-11-11Run `cargo fmt`Nadrieril3-53/+65
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-31Implement parsing of `toMap` keywordNadrieril3-0/+13
2019-08-30Rework test harness to prepare for new types of testsNadrieril2-178/+158
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
2019-08-20Reduce API surface of dhall crateNadrieril3-24/+10
2019-08-20Move type construction fns from serde_dhall to dhallNadrieril1-1/+34