summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-06Massage import loading into new APINadrieril1-0/+39
2019-04-06Factor out the recursion when possible in typecheckNadrieril1-0/+21
2019-04-06Upgrade map to traverseNadrieril1-40/+86
2019-04-06subst_shift in a single passNadrieril1-17/+13
2019-04-06Factor out shift/subst/shift danceNadrieril1-0/+10
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril1-10/+53
2019-04-04Tweak matching on Some/NoneNadrieril1-0/+19
2019-04-01Refactor and clarify various map methodsNadrieril1-114/+235
2019-03-31Make Expr generic in LabelNadrieril1-11/+13
2019-03-31Generalize type of mapNadrieril1-5/+7
2019-03-31Remove evil Deref implNadrieril1-11/+6
2019-03-31Move recursion out of ExprNadrieril1-44/+32
2019-03-31Make SubExpr a newtypeNadrieril1-12/+33
2019-03-24Refactor printerNadrieril1-15/+17
2019-03-23Handle merge and record projectionNadrieril1-5/+10
2019-03-21Improve import handling in parserNadrieril1-3/+3
2019-03-21Follow the spec for handling DoublesNadrieril1-2/+26
2019-03-21Represent Optional literals more faithfullyNadrieril1-4/+6
2019-03-21Rename Record/Union to RecordType/UnionTypeNadrieril1-4/+4
2019-03-21Reorganize dhall_core a bitNadrieril1-633/+49
2019-03-20Handle simple parsing cases with new macrosNadrieril1-0/+1
2019-03-19Test printer in parser testsNadrieril1-20/+47
2019-03-18Split List literal between empty and non-emptyNadrieril1-13/+12
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-250/+100
2019-03-17Clean up some mess relating to Clone boundsNadrieril1-61/+23
2019-03-17Use Rc consistently everywhereNadrieril1-145/+139
2019-03-16Use Rc instead of Box in AST to allow structural sharingNadrieril1-39/+41
2019-03-16Use Box more uniformly in ASTNadrieril1-35/+43
2019-03-16Store an Option in OptionalLit instead of a vecNadrieril1-9/+9
2019-03-15Store a vec in AppNadrieril1-11/+21
2019-03-14rustfmtNadrieril1-5/+16
2019-03-14Handle and parse interpolated stringsNadrieril1-13/+127
2019-03-14Implement binary decodingNadrieril1-3/+3
2019-03-12Handle Some and None builtinsNadrieril1-6/+18
2019-03-11Fix stack overflows in prelude testsNadrieril1-37/+20
2019-03-11Normalize lazilyNadrieril1-0/+1
2019-03-10Use Rc<str> for LabelNadrieril1-6/+8
2019-03-09Obey clippy lintsNadrieril1-1/+1
2019-03-09Remove the pervasive Label type parameterNadrieril1-106/+64
2019-03-09Use new Label type everywhereNadrieril1-82/+37
2019-03-09Use new Label type instead of &str in parserNadrieril1-6/+51
2019-03-09rustfmtNadrieril1-22/+31
2019-03-09First import works !Nadrieril1-0/+10
2019-03-08Clean up some of the messNadrieril1-2/+13
2019-03-08Rename Expr back to its true nameNadrieril1-88/+87
2019-03-08Finally get rid of all the &'i strNadrieril1-10/+10
2019-03-08Make labels non-CopyNadrieril1-96/+91
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-85/+184
2019-03-08Make Expr generic in its type of labelsNadrieril1-53/+54
2019-03-07Revert "Start moving strs in the AST"Nadrieril1-119/+117
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 14:50:18 +0000