summaryrefslogtreecommitdiff
path: root/dhall_core/src/core.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Refactor printerNadrieril2019-03-241-15/+17
| | | | | Avoids stupid stack overflows when adding variants, gets precedences right, and updates to latest grammar changes
* Handle merge and record projectionNadrieril2019-03-231-5/+10
|
* Improve import handling in parserNadrieril2019-03-211-3/+3
|
* Follow the spec for handling DoublesNadrieril2019-03-211-2/+26
|
* Represent Optional literals more faithfullyNadrieril2019-03-211-4/+6
|
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-211-4/+4
|
* Reorganize dhall_core a bitNadrieril2019-03-211-633/+49
|
* Handle simple parsing cases with new macrosNadrieril2019-03-201-0/+1
|
* Test printer in parser testsNadrieril2019-03-191-20/+47
| | | | Closes #30
* Split List literal between empty and non-emptyNadrieril2019-03-181-13/+12
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-250/+100
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-171-61/+23
|
* Use Rc consistently everywhereNadrieril2019-03-171-145/+139
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-161-39/+41
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-161-35/+43
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-161-9/+9
| | | | Closes #21
* Store a vec in AppNadrieril2019-03-151-11/+21
| | | | Closes #26
* rustfmtNadrieril2019-03-141-5/+16
|
* Handle and parse interpolated stringsNadrieril2019-03-141-13/+127
| | | | Closes #25
* Implement binary decodingNadrieril2019-03-141-3/+3
| | | | | Closes #2 Closes #23
* Handle Some and None builtinsNadrieril2019-03-121-6/+18
| | | | Closes #19
* Fix stack overflows in prelude testsNadrieril2019-03-111-37/+20
| | | | Closes #5
* Normalize lazilyNadrieril2019-03-111-0/+1
| | | | Closes #7
* Use Rc<str> for LabelNadrieril2019-03-101-6/+8
| | | | Closes #18
* Obey clippy lintsNadrieril2019-03-091-1/+1
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-091-106/+64
| | | | Closes #1
* Use new Label type everywhereNadrieril2019-03-091-82/+37
|
* Use new Label type instead of &str in parserNadrieril2019-03-091-6/+51
|
* rustfmtNadrieril2019-03-091-22/+31
|
* First import works !Nadrieril2019-03-091-0/+10
|
* Clean up some of the messNadrieril2019-03-081-2/+13
|
* Rename Expr back to its true nameNadrieril2019-03-081-88/+87
|
* Finally get rid of all the &'i strNadrieril2019-03-081-10/+10
|
* Make labels non-CopyNadrieril2019-03-081-96/+91
|
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-081-85/+184
|
* Make Expr generic in its type of labelsNadrieril2019-03-081-53/+54
|
* Revert "Start moving strs in the AST"Nadrieril2019-03-071-119/+117
| | | | This reverts commit c2965244babe7b391fc6a72c015db6720ceb853f.
* Start moving strs in the ASTNadrieril2019-03-071-117/+119
|
* rustfmtNadrieril2019-03-061-5/+3
|
* Start parsing importsNadrieril2019-03-061-15/+68
|
* rustfmtNadrieril2019-03-061-2/+10
|
* Considerably remove clutter in normalizeNadrieril2019-03-061-3/+68
|
* Remove FailedParse variantNadrieril2019-03-061-4/+0
|
* Split-off normalization into its own crateNadrieril2019-03-061-286/+4
|
* Split-off core into its own crateNadrieril2019-03-061-0/+1205
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-10 15:51:45 +0000