summaryrefslogtreecommitdiff
path: root/dhall/src/phase/mod.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reduce api surface of dhall crateNadrieril2019-08-161-23/+18
* Use `!` type instead of custom empty typeNadrieril2019-08-161-3/+3
* Implement Hash for ParsedSubExprNadrieril2019-08-131-0/+16
* Store Imports in their own node instead of in EmbedNadrieril2019-08-131-3/+5
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-2/+2
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-5/+5
* s/TypeThunk/TypedThunk/gNadrieril2019-08-131-8/+8
* Swap Typed and TypeThunkNadrieril2019-08-131-70/+25
* Remove dhall::expr!() macroNadrieril2019-08-101-3/+0
* Implement binary encodingNadrieril2019-05-121-4/+11
* Merge Type and TypedNadrieril2019-05-091-55/+14
* Fix missing methods for testsNadrieril2019-05-091-0/+8
* Make visibilities more consistentNadrieril2019-05-091-32/+32
* Rewrite Deserialize trait around new Value and TypeNadrieril2019-05-091-7/+1
* Rewrite the StaticType trait and everything around itNadrieril2019-05-091-46/+11
* Tweak TypedNadrieril2019-05-091-15/+16
* Reduce the distance between Type and TypedNadrieril2019-05-091-22/+19
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-9/+9
* Typecheck mergeNadrieril2019-05-081-0/+3
* Implement normalization for record merging operatorsNadrieril2019-05-081-0/+3
* Unify typecheck and normalization contextsNadrieril2019-05-071-3/+0
* Promote shift and subst_shift to traitsNadrieril2019-05-071-29/+40
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-071-1/+2
* Unify Type, TypeInternal and TypedNadrieril2019-05-071-95/+36
* Move main datatypes into their own modulesNadrieril2019-05-061-2/+8
* Consolidate errors in the error moduleNadrieril2019-05-061-5/+3
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+389