summaryrefslogtreecommitdiff
path: root/dhall/src/phase (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-01Mark RecursiveRecordMerge as unreachableFintanH1-0/+1
2019-08-01Add the typechecking of RecursiveRecordMerge.FintanH2-8/+126
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 Halpenny1-5/+46
2019-05-12Finish implementing binary encodingNadrieril1-6/+8
2019-05-12clippyNadrieril2-120/+112
2019-05-12Include success or failure prefix in test filteringNadrieril2-6/+6
2019-05-12Implement binary encodingNadrieril5-25/+310
2019-05-10Write a custom map type that allows duplicatesNadrieril1-29/+38
2019-05-09Merge Type and TypedNadrieril2-104/+54
2019-05-09Fix missing methods for testsNadrieril1-0/+8
2019-05-09Make visibilities more consistentNadrieril5-57/+51
2019-05-09Rewrite Deserialize trait around new Value and TypeNadrieril1-7/+1
2019-05-09Rewrite the StaticType trait and everything around itNadrieril2-47/+12
2019-05-09Tweak TypedNadrieril1-15/+16
2019-05-09Reduce the distance between Type and TypedNadrieril2-109/+97
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 LabelNadrieril2-7/+5
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril2-11/+20
2019-05-09Detect duplicate record fields in typecheckNadrieril3-71/+71
2019-05-09Generate normalization tests automaticallyNadrieril2-368/+0
2019-05-09Correctly shift free variables in normalizationNadrieril1-1/+1
2019-05-09Update dhall-lang submoduleNadrieril2-15/+37
2019-05-08Typecheck record projectionNadrieril1-7/+30
2019-05-08Typecheck mergeNadrieril2-12/+90
2019-05-08Move binop normalization into a separate functionNadrieril1-165/+153
2019-05-08Implement normalization for record merging operatorsNadrieril2-21/+113
2019-05-08Rename the record combining operators internallyNadrieril1-3/+3
2019-05-08Implement normalization of missing builtinsNadrieril1-21/+68
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-52/+93
2019-05-07Slight improvement to typecheck ergonomicsNadrieril1-59/+28
2019-05-07Unify typecheck and normalization contextsNadrieril2-5/+2
2019-05-07Promote shift and subst_shift to traitsNadrieril3-29/+42
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-07Small mistakeNadrieril1-1/+3
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril2-4/+4
2019-05-07Unify Type, TypeInternal and TypedNadrieril2-116/+43
2019-05-06Move main datatypes into their own modulesNadrieril3-1194/+160
2019-05-06Consolidate errors in the error moduleNadrieril4-125/+25
2019-05-06Reorganize dhall into a phase structureNadrieril6-0/+4093