summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-19Natural literals and simplificationsNadrieril1-14/+32
2019-04-19Implement boolean simplificationsNadrieril1-24/+31
2019-04-19Boolean literalsNadrieril1-10/+34
2019-04-19List literalsNadrieril1-7/+47
2019-04-19Embrace WHNFNadrieril1-79/+77
2019-04-19Handle RecordLits fully semanticallyNadrieril1-16/+28
2019-04-19Split function in two phasesNadrieril1-12/+24
2019-04-19Values carry their evaluation contextNadrieril1-28/+20
2019-04-19A union constructor is a purely semantic valueNadrieril1-32/+123
2019-04-19Store Values in the contextNadrieril1-10/+36
2019-04-19Introduce closuresNadrieril1-62/+120
2019-04-19Type aliasesNadrieril1-10/+13
2019-04-19Make App() only store one argumentNadrieril4-119/+76
2019-04-19A partially applied builtin is a valueNadrieril1-27/+42
2019-04-19Start separating normalized values from syntactic expressionsNadrieril2-121/+179
2019-04-18Label is redundant in EnvItem::SkipNadrieril2-30/+27
2019-04-18Use a context for substitution in normalizationNadrieril1-109/+177
2019-04-18subst_shift in a single passNadrieril1-10/+7
2019-04-18Make normalize manipulate SubExprs more directlyNadrieril1-12/+12
2019-04-18Remove obsolete dhall_expr!() macroNadrieril2-23/+23
2019-04-18Remove more duplicationNadrieril5-19/+17
2019-04-18Start cleaning up the mess of mapping functionsNadrieril1-1/+0
2019-04-17Normalize union constructorsNadrieril1-4/+22
2019-04-16Add typecheck failure testsNadrieril1-7/+82
2019-04-16Update dhall-lang submoduleNadrieril1-0/+1
2019-04-16Handle nullary union variantsNadrieril2-6/+6
2019-04-16Prepare for nullary union variantsNadrieril2-10/+58
2019-04-16Improve test error ergonomicsNadrieril1-2/+8
2019-04-16Fix union constructor typecheckingNadrieril1-17/+24
2019-04-16Typecheck union constructorNadrieril1-6/+15
2019-04-16Typecheck unionsNadrieril1-16/+26
2019-04-16Typecheck higher-kinded recordsNadrieril1-21/+33
2019-04-16Remove one more instance of duplicate typecheckingNadrieril2-1/+16
2019-04-16Remove higher-kinded type noise in TypeNadrieril4-42/+67
2019-04-16Revert "Preserve notes when normalizing"Nadrieril1-13/+6
2019-04-16Preserve notes when normalizingNadrieril1-6/+13
2019-04-16Naming tweaksNadrieril2-12/+12
2019-04-16Avoid some work duplication in typecheckingNadrieril2-51/+56
2019-04-15Handle empty optionals correctlyNadrieril4-3/+19
2019-04-15Error on import cyclesBasile Henry1-6/+32
2019-04-15rustfmtNadrieril1-4/+4
2019-04-14Namespace deserialization functions in a `de` submoduleNadrieril3-42/+46
2019-04-14clippyNadrieril5-17/+15
2019-04-14Add import testsNadrieril2-0/+40
2019-04-14Naming nitpickNadrieril1-5/+5
2019-04-14Cache importsBasile Henry1-12/+34
2019-04-14Transform more mapping functions to use the Visitor traitNadrieril1-1/+1
2019-04-14Implement `let` type synonymsNadrieril1-51/+25
2019-04-14Fix a tiny normalization bugNadrieril1-1/+1
2019-04-13Implement ListAppend typecheckingNadrieril1-2/+20
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-29 11:08:42 +0000