summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-23Silence warningsNadrieril1-0/+3
2019-04-23Avoid duplicating work when matching on Pi typesNadrieril1-1/+10
2019-04-22Temporarily simplify functions depending on TypeInternalNadrieril1-6/+9
2019-04-22Store context in TypedNadrieril1-6/+14
2019-04-21Embrace TypeInternal as a semantic valueNadrieril1-0/+9
2019-04-20Move TypeInternal to typecheckNadrieril1-14/+2
2019-04-19Make App() only store one argumentNadrieril1-3/+0
2019-04-18Remove more duplicationNadrieril1-1/+1
2019-04-16Remove one more instance of duplicate typecheckingNadrieril1-0/+15
2019-04-16Remove higher-kinded type noise in TypeNadrieril1-1/+8
2019-04-16Avoid some work duplication in typecheckingNadrieril1-3/+0
2019-04-13Document all of the APINadrieril1-2/+11
2019-04-12Restrict public API to its most minimal expressionNadrieril1-4/+8
2019-04-12Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril1-6/+2
2019-04-11Thread lifetimes through other newtypesNadrieril1-44/+36
2019-04-11Add lifetime parameters to Parsed and ResolvedNadrieril1-4/+31
2019-04-11Respect import boundariesNadrieril1-6/+14
2019-04-11Improve simple type handling in typecheckNadrieril1-0/+5
2019-04-11Abstract get_type() into a traitNadrieril1-0/+22
2019-04-11Handle untyped case differently from the type of SortNadrieril1-3/+4
2019-04-10Add SimpleType and SimpeStaticType. Derive the latterNadrieril1-0/+21
2019-04-07Restrict public APINadrieril1-18/+30
2019-04-07Universe hierarchy is overkillNadrieril1-4/+4
2019-04-07Put a Cow in TypeNadrieril1-3/+3
2019-04-06Store the whole type hierarchy in a TypeNadrieril1-9/+8
2019-04-06Start taking Typed seriouslyNadrieril1-1/+1
2019-04-06Thread Typed through type_withNadrieril1-25/+9
2019-04-06Move binary decoding to new APINadrieril1-8/+14
2019-04-06Massage import loading into new APINadrieril1-10/+20
2019-04-06Define some newtypes for ExprNadrieril1-0/+35
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-13 06:45:16 +0000