summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-06More improvements to typecheckNadrieril1-133/+114
2019-04-06Store the whole type hierarchy in a TypeNadrieril2-110/+167
2019-04-06Add Sort type universeNadrieril1-3/+6
2019-04-06Start taking Typed seriouslyNadrieril3-111/+135
2019-04-06Thread Typed through type_withNadrieril3-66/+67
2019-04-06Move binary decoding to new APINadrieril3-18/+55
2019-04-06Massage import loading into new APINadrieril2-49/+76
2019-04-06Define some newtypes for ExprNadrieril2-8/+37
2019-04-06Rename some modulesNadrieril2-3/+3
2019-04-06s/Type/StaticType/Nadrieril2-13/+12
2019-04-06s/DhallError/ImportError/Nadrieril1-10/+10
2019-04-06Factor out type equality checkingNadrieril1-46/+50
2019-04-06Move more cases after recursionNadrieril1-34/+34
2019-04-06Loop through args when typechecking AppNadrieril1-17/+24
2019-04-06Factor out the recursion when possible in typecheckNadrieril1-125/+131
2019-04-06Normalize only as needed while typecheckingNadrieril1-17/+17
2019-04-06type_with always normalizesNadrieril1-49/+35
2019-04-06Avoid early returns in type_withNadrieril1-41/+38
2019-04-06Split dhall_expr!() into 2Nadrieril1-0/+2
2019-04-06Normalize output of type inferenceNadrieril1-4/+4
2019-04-06Ensure all type errors carry normalized typesNadrieril1-7/+4
2019-04-06Remove an unnecessary normalizationNadrieril1-2/+1
2019-04-06Factor out shift/subst/shift danceNadrieril2-14/+4
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril2-233/+206
2019-04-04Get keyword rule from upstreamNadrieril1-1/+1
2019-04-01Refactor and clarify various map methodsNadrieril1-1/+1
2019-03-31Make Expr generic in LabelNadrieril1-1/+1
2019-03-31Remove evil Deref implNadrieril2-3/+3
2019-03-31Move recursion out of ExprNadrieril3-8/+8
2019-03-31Make SubExpr a newtypeNadrieril4-78/+70
2019-03-31Remove some redundant namespacingNadrieril2-31/+32
2019-03-27Manually rustfmt like a naziNadrieril1-2/+12
2019-03-26Derive DhallType for structsNadrieril2-0/+79
2019-03-24Lay groundwork for DhallType derivingNadrieril1-1/+0
2019-03-24Correctly namespace interpolations in dhall_expr!()Nadrieril2-3/+0
2019-03-24Improve decoder errors on unknown inputsNadrieril1-6/+2
2019-03-24Parser import hash and headersNadrieril2-6/+31
2019-03-23Handle merge and record projectionNadrieril1-5/+36
2019-03-22oopsNadrieril1-7/+7
2019-03-22Parse a lot more of the import typesNadrieril2-10/+84
2019-03-22Improve binary decoding errorsNadrieril1-14/+25
2019-03-21Improve import handling in parserNadrieril3-1/+34
2019-03-21rustfmtNadrieril1-11/+3
2019-03-21Follow the spec for handling DoublesNadrieril1-1/+1
2019-03-21Represent Optional literals more faithfullyNadrieril3-39/+20
2019-03-21Rename Record/Union to RecordType/UnionTypeNadrieril2-7/+7
2019-03-21Reorganize dhall_core a bitNadrieril3-6/+6
2019-03-19rustfmtNadrieril1-14/+20
2019-03-18Implement a few more primitivesNadrieril2-17/+44
2019-03-18Split List literal between empty and non-emptyNadrieril3-29/+38