summaryrefslogtreecommitdiff
path: root/dhall/src/phase/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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