summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reorganize dhall into a phase structureNadrieril2019-05-061-228/+0
* Merge TypedInternal and TypedNadrieril2019-05-061-44/+28
* s/DoubleVar/AlphaVar/Nadrieril2019-05-051-3/+3
* Make Value equality be alpha-equivalenceNadrieril2019-05-051-1/+9
* Implement alpha-normalizationNadrieril2019-05-051-8/+12
* Revert "Make SubExpr generic in the variable labels type"Nadrieril2019-05-041-19/+13
* Make SubExpr generic in the variable labels typeNadrieril2019-05-041-13/+19
* Keep Spans through normalization and typecheckingNadrieril2019-05-041-4/+3
* Remove dummy lifetimesNadrieril2019-05-041-60/+40
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-2/+2
* Remove some deprecated functionsNadrieril2019-05-031-3/+3
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 20:54:05 +0000