summaryrefslogtreecommitdiff
path: root/dhall/src/phase (unfollow)
Commit message (Expand)AuthorFilesLines
2019-11-11Propagate more spansNadrieril1-3/+3
2019-11-11Display first pretty type errorNadrieril1-1/+1
2019-11-11Store a `Span` in `Value`Nadrieril1-4/+10
2019-11-11Capture absence of span in Span itselfNadrieril2-3/+13
2019-11-11Generate import tests automaticallyNadrieril1-47/+0
2019-11-11Run `cargo fmt`Nadrieril3-53/+65
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 testsNadrieril1-2/+11
2019-08-30Cleanup conversion of `Value` to `Expr`Nadrieril1-9/+22
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril4-48/+43
2019-08-27clippyNadrieril2-4/+3
2019-08-26Tweak tests to avoid double compilationNadrieril1-2/+0
2019-08-25Remove now unnecessary VoVF enumNadrieril1-22/+24
2019-08-25Rework apply_builtin to enforce preservation of type informationNadrieril1-183/+156
2019-08-25Enforce type information almost everywhereNadrieril2-29/+17
2019-08-25Check consistency of type informationNadrieril1-2/+2
2019-08-25Keep type information through normalizationNadrieril2-79/+142
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-20Reduce API surface of dhall crateNadrieril1-3/+3
2019-08-20Move type construction fns from serde_dhall to dhallNadrieril1-1/+34
2019-08-20Use Ret in apply_builtinNadrieril1-90/+101
2019-08-20Propagate type information in Value::app()Nadrieril2-27/+18
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril1-32/+40
2019-08-20No need for Cow in return type of get_typeNadrieril2-23/+21
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril2-68/+90
2019-08-20Naming tweaksNadrieril2-32/+25
2019-08-20Add Value::from_builtinNadrieril1-25/+19
2019-08-20Clarify conversion of Const/Builtin to ValueNadrieril1-16/+27
2019-08-20CleanupNadrieril3-36/+59
2019-08-20Standardize records of mixed kindsNadrieril1-51/+17
2019-08-20Reuse work to avoid complicated recursion in record mergingNadrieril2-150/+25
2019-08-20Tweak Ok/Err handling in typecheckNadrieril1-157/+128
2019-08-19Merge TypedValue and ValueNadrieril3-166/+117
2019-08-19Reduce untyped construction of ValuesNadrieril2-43/+62
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril3-262/+187
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril3-158/+149
2019-08-18Rework ValueInternal and clarify invariants around ValueFNadrieril1-8/+21
2019-08-17s/Thunk/Value/Nadrieril3-150/+152
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