summaryrefslogtreecommitdiff
path: root/dhall/src/phase/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-20CleanupNadrieril1-1/+1
2019-08-19Merge TypedValue and ValueNadrieril1-8/+8
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-41/+10
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril1-6/+9
2019-08-17s/Thunk/Value/Nadrieril1-13/+13
2019-08-16s/Value/ValueF/Nadrieril1-6/+6
2019-08-16Try to minimize untyped TypedThunksNadrieril1-2/+5
2019-08-16Remove dead codeNadrieril1-8/+0
2019-08-16Reduce api surface of dhall crateNadrieril1-23/+18
2019-08-16Use `!` type instead of custom empty typeNadrieril1-3/+3
2019-08-13Implement Hash for ParsedSubExprNadrieril1-0/+16
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-3/+5
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril1-2/+2
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-5/+5
2019-08-13s/TypeThunk/TypedThunk/gNadrieril1-8/+8
2019-08-13Swap Typed and TypeThunkNadrieril1-70/+25
2019-08-10Remove dhall::expr!() macroNadrieril1-3/+0
2019-05-12Implement binary encodingNadrieril1-4/+11
2019-05-09Merge Type and TypedNadrieril1-55/+14
2019-05-09Fix missing methods for testsNadrieril1-0/+8
2019-05-09Make visibilities more consistentNadrieril1-32/+32
2019-05-09Rewrite Deserialize trait around new Value and TypeNadrieril1-7/+1
2019-05-09Rewrite the StaticType trait and everything around itNadrieril1-46/+11
2019-05-09Tweak TypedNadrieril1-15/+16
2019-05-09Reduce the distance between Type and TypedNadrieril1-22/+19
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-9/+9
2019-05-08Typecheck mergeNadrieril1-0/+3
2019-05-08Implement normalization for record merging operatorsNadrieril1-0/+3
2019-05-07Unify typecheck and normalization contextsNadrieril1-3/+0
2019-05-07Promote shift and subst_shift to traitsNadrieril1-29/+40
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-07Unify Type, TypeInternal and TypedNadrieril1-95/+36
2019-05-06Move main datatypes into their own modulesNadrieril1-2/+8
2019-05-06Consolidate errors in the error moduleNadrieril1-5/+3
2019-05-06Reorganize dhall into a phase structureNadrieril1-0/+389