summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add typechecking for RecursiveRecordTypeMerge.FintanH2019-08-013-7/+120
| | | | | | | | | | The implementation brings with it intersection_with_key over HashMaps to help with the type checking of records of records. The implementation first checks that the Const values line up with the LHS and RHS. Then checks that combining the records does not result in a FieldCollision. It will finally return the shared Const type of the arguments.
* Finish implementing binary encodingNadrieril2019-05-122-8/+11
|
* clippyNadrieril2019-05-126-126/+118
|
* Split-off printer and binary encoding tests from parser testsNadrieril2019-05-122-37/+85
|
* Include success or failure prefix in test filteringNadrieril2019-05-124-24/+18
|
* Implement binary encodingNadrieril2019-05-128-32/+359
| | | | Closes #39
* Write a custom map type that allows duplicatesNadrieril2019-05-101-29/+38
|
* Merge Type and TypedNadrieril2019-05-093-105/+55
|
* Fix missing methods for testsNadrieril2019-05-091-0/+8
|
* Make visibilities more consistentNadrieril2019-05-0910-125/+106
|
* Rewrite Deserialize trait around new Value and TypeNadrieril2019-05-097-88/+73
|
* Rewrite the StaticType trait and everything around itNadrieril2019-05-099-276/+223
|
* Tweak TypedNadrieril2019-05-091-15/+16
|
* Reduce the distance between Type and TypedNadrieril2019-05-093-157/+108
|
* Remove TypeIntermediate in favor of special-purpose functionsNadrieril2019-05-091-214/+183
|
* Small utility SubExpr::from_builtinNadrieril2019-05-091-9/+3
|
* ExprF need not be generic in LabelNadrieril2019-05-094-15/+9
|
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-098-129/+169
|
* Detect duplicate record fields in typecheckNadrieril2019-05-095-77/+79
|
* Generate normalization tests automaticallyNadrieril2019-05-094-393/+84
|
* Correctly shift free variables in normalizationNadrieril2019-05-092-11/+11
|
* Update dhall-lang submoduleNadrieril2019-05-092-15/+37
|
* Typecheck record projectionNadrieril2019-05-082-7/+32
|
* Typecheck mergeNadrieril2019-05-083-12/+97
|
* Move binop normalization into a separate functionNadrieril2019-05-081-165/+153
|
* Implement normalization for record merging operatorsNadrieril2019-05-083-21/+120
|
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
|
* Implement normalization of missing builtinsNadrieril2019-05-082-23/+75
|
* Fix Context shiftingNadrieril2019-05-081-15/+24
|
* shift on lookup instead of on insertNadrieril2019-05-082-27/+71
|
* Replace hashmap-based context with a vec-based oneNadrieril2019-05-071-14/+37
|
* Don't discard normalization work done by typecheckingNadrieril2019-05-073-83/+147
|
* Slight improvement to typecheck ergonomicsNadrieril2019-05-071-59/+28
|
* Unify typecheck and normalization contextsNadrieril2019-05-075-76/+115
|
* Promote shift and subst_shift to traitsNadrieril2019-05-077-115/+161
|
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-076-106/+112
|
* Small mistakeNadrieril2019-05-072-2/+4
|
* Document Value and ThunkNadrieril2019-05-072-8/+21
|
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-073-6/+6
|
* Unify Type, TypeInternal and TypedNadrieril2019-05-073-117/+43
|
* Fix deriveNadrieril2019-05-072-1/+3
|
* Move main datatypes into their own modulesNadrieril2019-05-0610-1199/+1217
|
* Move api-related modules into an api moduleNadrieril2019-05-067-38/+41
|
* Consolidate errors in the error moduleNadrieril2019-05-0642-188/+196
|
* Reorganize dhall into a phase structureNadrieril2019-05-0615-477/+499
|
* Merge TypedInternal and TypedNadrieril2019-05-064-75/+34
|
* Remove mainNadrieril2019-05-051-93/+0
|
* s/DoubleVar/AlphaVar/Nadrieril2019-05-053-44/+44
|
* Implement normalization simplificationsNadrieril2019-05-051-10/+15
|
* Preserve text WHNF on concatenationNadrieril2019-05-051-9/+9
|