summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs (follow)
Commit message (Collapse)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
| | | | Closes #66, #65
* Implement alpha-normalizationNadrieril2019-05-051-8/+12
| | | | Closes #12
* Revert "Make SubExpr generic in the variable labels type"Nadrieril2019-05-041-19/+13
| | | | This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
* 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
| | | | 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 04:44:15 +0000