summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-03Update dhall-lang submoduleNadrieril1-5/+10
2019-08-03Update dhall-lang submoduleNadrieril1-12/+12
2019-08-03Update dhall-lang submoduleNadrieril1-2/+2
2019-08-01Mark RecursiveRecordMerge as unreachableFintanH1-0/+1
2019-08-01Add the typechecking of RecursiveRecordMerge.FintanH3-8/+129
2019-07-31Add unreachable call for RightBasedRecordMerge caseFintanH1-0/+1
2019-07-31Reuse the merge_maps function to implement the right-biased unionFintanH2-7/+7
2019-07-31Add case for RightBasedRecordMerge in the typechecking phase.Fintan Halpenny2-5/+48
2019-05-12Finish implementing binary encodingNadrieril2-8/+11
2019-05-12clippyNadrieril6-126/+118
2019-05-12Split-off printer and binary encoding tests from parser testsNadrieril2-37/+85
2019-05-12Include success or failure prefix in test filteringNadrieril4-24/+18
2019-05-12Implement binary encodingNadrieril8-32/+359
2019-05-10Write a custom map type that allows duplicatesNadrieril1-29/+38
2019-05-09Merge Type and TypedNadrieril3-105/+55
2019-05-09Fix missing methods for testsNadrieril1-0/+8
2019-05-09Make visibilities more consistentNadrieril10-125/+106
2019-05-09Rewrite Deserialize trait around new Value and TypeNadrieril7-88/+73
2019-05-09Rewrite the StaticType trait and everything around itNadrieril9-276/+223
2019-05-09Tweak TypedNadrieril1-15/+16
2019-05-09Reduce the distance between Type and TypedNadrieril3-157/+108
2019-05-09Remove TypeIntermediate in favor of special-purpose functionsNadrieril1-214/+183
2019-05-09Small utility SubExpr::from_builtinNadrieril1-9/+3
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 automaticallyNadrieril4-393/+84
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 deriveNadrieril2-1/+3
2019-05-06Move main datatypes into their own modulesNadrieril10-1199/+1217
2019-05-06Move api-related modules into an api moduleNadrieril7-38/+41