summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-09ExprF need not be generic in LabelNadrieril4-15/+9
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril8-129/+169
2019-05-09Detect duplicate record fields in typecheckNadrieril5-77/+79
2019-05-09Generate normalization tests automaticallyNadrieril3-368/+5
2019-05-09Correctly shift free variables in normalizationNadrieril2-11/+11
2019-05-09Update dhall-lang submoduleNadrieril2-15/+37
2019-05-08Typecheck record projectionNadrieril2-7/+32
2019-05-08Typecheck mergeNadrieril3-12/+97
2019-05-08Move binop normalization into a separate functionNadrieril1-165/+153
2019-05-08Implement normalization for record merging operatorsNadrieril3-21/+120
2019-05-08Rename the record combining operators internallyNadrieril1-3/+3
2019-05-08Implement normalization of missing builtinsNadrieril2-23/+75
2019-05-08Fix Context shiftingNadrieril1-15/+24
2019-05-08shift on lookup instead of on insertNadrieril2-27/+71
2019-05-07Replace hashmap-based context with a vec-based oneNadrieril1-14/+37
2019-05-07Don't discard normalization work done by typecheckingNadrieril3-83/+147
2019-05-07Slight improvement to typecheck ergonomicsNadrieril1-59/+28
2019-05-07Unify typecheck and normalization contextsNadrieril5-76/+115
2019-05-07Promote shift and subst_shift to traitsNadrieril7-115/+161
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril6-106/+112
2019-05-07Small mistakeNadrieril2-2/+4
2019-05-07Document Value and ThunkNadrieril2-8/+21
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril3-6/+6
2019-05-07Unify Type, TypeInternal and TypedNadrieril3-117/+43
2019-05-07Fix deriveNadrieril1-0/+2
2019-05-06Move main datatypes into their own modulesNadrieril10-1199/+1217
2019-05-06Move api-related modules into an api moduleNadrieril7-38/+41
2019-05-06Consolidate errors in the error moduleNadrieril42-188/+196
2019-05-06Reorganize dhall into a phase structureNadrieril15-477/+499
2019-05-06Merge TypedInternal and TypedNadrieril4-75/+34
2019-05-05Remove mainNadrieril1-93/+0
2019-05-05s/DoubleVar/AlphaVar/Nadrieril3-44/+44
2019-05-05Implement normalization simplificationsNadrieril1-10/+15
2019-05-05Preserve text WHNF on concatenationNadrieril1-9/+9
2019-05-05WHNF for TextLit means no interpolations of text and strict alternationNadrieril1-41/+63
2019-05-05Fix Integer equalityNadrieril1-4/+5
2019-05-05Make Value equality be alpha-equivalenceNadrieril3-21/+99
2019-05-05Use alpha-normalization in equivalence checkingNadrieril1-80/+2
2019-05-05Implement alpha-normalizationNadrieril4-69/+194
2019-05-04Clarify match_vars implementationNadrieril1-12/+12
2019-05-04subst_shift now correctly preserves WHNFNadrieril1-26/+24
2019-05-04We actually don't need SubExpr::shift anymoreNadrieril1-4/+5
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril6-100/+83
2019-05-04Make SubExpr generic in the variable labels typeNadrieril6-83/+100
2019-05-04Keep Spans through normalization and typecheckingNadrieril3-36/+39
2019-05-04Thread Spans through the ASTNadrieril1-1/+1
2019-05-04Move `Note`s into the spine of the ASTNadrieril2-9/+5
2019-05-04Remove dummy lifetimesNadrieril7-267/+202
2019-05-04rustfmtNadrieril3-3/+3
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril4-4/+4