summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Instead of possibly nonexistent Type, treat Sort speciallyNadrieril2019-05-021-29/+129
* Store Thunk in NormalizedNadrieril2019-05-021-13/+25
* Merge Typed and PartiallyNormalizedNadrieril2019-04-301-7/+0
* Store a Thunk in TypedNadrieril2019-04-301-13/+5
* Remove NF/WHNF distinction at runtimeNadrieril2019-04-291-1/+1
* Allow representing normal form as a semantic valueNadrieril2019-04-291-1/+1
* Use PartiallyNormalized throughout typecheckingNadrieril2019-04-281-3/+0
* BuiltinsNadrieril2019-04-271-15/+0
* Define new intermediate expression typeNadrieril2019-04-271-0/+7
* Silence warningsNadrieril2019-04-231-0/+3
* Avoid duplicating work when matching on Pi typesNadrieril2019-04-231-1/+10
* Temporarily simplify functions depending on TypeInternalNadrieril2019-04-221-6/+9
* Store context in TypedNadrieril2019-04-221-6/+14
* Embrace TypeInternal as a semantic valueNadrieril2019-04-211-0/+9
* Move TypeInternal to typecheckNadrieril2019-04-201-14/+2
* Make App() only store one argumentNadrieril2019-04-191-3/+0
* Remove more duplicationNadrieril2019-04-181-1/+1
* Remove one more instance of duplicate typecheckingNadrieril2019-04-161-0/+15
* Remove higher-kinded type noise in TypeNadrieril2019-04-161-1/+8
* Avoid some work duplication in typecheckingNadrieril2019-04-161-3/+0
* Document all of the APINadrieril2019-04-131-2/+11
* Restrict public API to its most minimal expressionNadrieril2019-04-121-4/+8
* Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril2019-04-121-6/+2
* Thread lifetimes through other newtypesNadrieril2019-04-111-44/+36
* Add lifetime parameters to Parsed and ResolvedNadrieril2019-04-111-4/+31
* Respect import boundariesNadrieril2019-04-111-6/+14
* Improve simple type handling in typecheckNadrieril2019-04-111-0/+5
* Abstract get_type() into a traitNadrieril2019-04-111-0/+22
* Handle untyped case differently from the type of SortNadrieril2019-04-111-3/+4
* Add SimpleType and SimpeStaticType. Derive the latterNadrieril2019-04-101-0/+21
* Restrict public APINadrieril2019-04-071-18/+30
* Universe hierarchy is overkillNadrieril2019-04-071-4/+4
* Put a Cow in TypeNadrieril2019-04-071-3/+3
* Store the whole type hierarchy in a TypeNadrieril2019-04-061-9/+8
* Start taking Typed seriouslyNadrieril2019-04-061-1/+1
* Thread Typed through type_withNadrieril2019-04-061-25/+9
* Move binary decoding to new APINadrieril2019-04-061-8/+14
* Massage import loading into new APINadrieril2019-04-061-10/+20
* Define some newtypes for ExprNadrieril2019-04-061-0/+35