summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-06Reorganize dhall into a phase structureNadrieril1-228/+0
2019-05-06Merge TypedInternal and TypedNadrieril1-44/+28
2019-05-05s/DoubleVar/AlphaVar/Nadrieril1-3/+3
2019-05-05Make Value equality be alpha-equivalenceNadrieril1-1/+9
2019-05-05Implement alpha-normalizationNadrieril1-8/+12
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-19/+13
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-13/+19
2019-05-04Keep Spans through normalization and typecheckingNadrieril1-4/+3
2019-05-04Remove dummy lifetimesNadrieril1-60/+40
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-2/+2
2019-05-03Remove some deprecated functionsNadrieril1-3/+3
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril1-29/+129
2019-05-02Store Thunk in NormalizedNadrieril1-13/+25
2019-04-30Merge Typed and PartiallyNormalizedNadrieril1-7/+0
2019-04-30Store a Thunk in TypedNadrieril1-13/+5
2019-04-29Remove NF/WHNF distinction at runtimeNadrieril1-1/+1
2019-04-29Allow representing normal form as a semantic valueNadrieril1-1/+1
2019-04-28Use PartiallyNormalized throughout typecheckingNadrieril1-3/+0
2019-04-27BuiltinsNadrieril1-15/+0
2019-04-27Define new intermediate expression typeNadrieril1-0/+7
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-07-05 23:02:53 +0000