summaryrefslogtreecommitdiff
path: root/dhall/src/phase/mod.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-254/+0
|
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-1/+1
|
* No need to change the type of Embed when resolving anymoreNadrieril2019-09-031-2/+2
|
* Cleanup conversion of `Value` to `Expr`Nadrieril2019-08-301-9/+22
|
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-11/+11
| | | | For clarity, and consistency with Value
* clippyNadrieril2019-08-271-3/+2
|
* Tweak tests to avoid double compilationNadrieril2019-08-261-2/+0
|
* Reduce API surface of dhall crateNadrieril2019-08-201-3/+3
|
* Move type construction fns from serde_dhall to dhallNadrieril2019-08-201-1/+34
|
* No need for Cow in return type of get_typeNadrieril2019-08-201-3/+2
|
* CleanupNadrieril2019-08-201-1/+1
|
* Merge TypedValue and ValueNadrieril2019-08-191-8/+8
|
* Use TypedValue instead of Typed in normalize and typecheckNadrieril2019-08-191-41/+10
| | | | | Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
* s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril2019-08-191-6/+9
|
* s/Thunk/Value/Nadrieril2019-08-171-13/+13
|
* s/Value/ValueF/Nadrieril2019-08-161-6/+6
|
* Try to minimize untyped TypedThunksNadrieril2019-08-161-2/+5
|
* Remove dead codeNadrieril2019-08-161-8/+0
|
* Reduce api surface of dhall crateNadrieril2019-08-161-23/+18
| | | | Helps detect unused code
* 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
| | | | It's a lot of hassle for not a lot of benefit
* Implement binary encodingNadrieril2019-05-121-4/+11
| | | | Closes #39
* 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