summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-20Reduce API surface of dhall crateNadrieril3-24/+10
2019-08-20Move type construction fns from serde_dhall to dhallNadrieril1-1/+34
2019-08-20Use Ret in apply_builtinNadrieril2-96/+101
2019-08-20Propagate type information in Value::app()Nadrieril3-35/+33
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril3-68/+80
2019-08-20No need for Cow in return type of get_typeNadrieril4-27/+24
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril4-74/+147
2019-08-20Naming tweaksNadrieril4-41/+33
2019-08-20Add Value::from_builtinNadrieril3-37/+24
2019-08-20Clarify conversion of Const/Builtin to ValueNadrieril2-21/+29
2019-08-20CleanupNadrieril5-52/+65
2019-08-20Standardize records of mixed kindsNadrieril2-53/+17
2019-08-20Reuse work to avoid complicated recursion in record mergingNadrieril3-151/+25
2019-08-20Tweak Ok/Err handling in typecheckNadrieril1-157/+128
2019-08-19Tweak Value APINadrieril1-28/+19
2019-08-19Merge TypedValue and ValueNadrieril7-354/+232
2019-08-19Reduce untyped construction of ValuesNadrieril5-108/+113
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril8-334/+255
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril7-192/+182
2019-08-18Merge ValueInternal and TypedValueInternalNadrieril1-111/+79
2019-08-18Rework ValueInternal and clarify invariants around ValueFNadrieril4-78/+85
2019-08-17s/Thunk/Value/Nadrieril8-925/+927