summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | Closes #64
* 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
| | | | Closes #55
* Add lifetime parameters to Parsed and ResolvedNadrieril2019-04-111-4/+31
| | | | Future-proofing
* Respect import boundariesNadrieril2019-04-111-6/+14
| | | | Closes #54
* 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
| | | | Closes #59
* Add SimpleType and SimpeStaticType. Derive the latterNadrieril2019-04-101-0/+21
|
* Restrict public APINadrieril2019-04-071-18/+30
| | | | Closes #20
* 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
| | | | Closes #9
* Define some newtypes for ExprNadrieril2019-04-061-0/+35
Closes #50