summaryrefslogtreecommitdiff
path: root/dhall/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fix List/fold implementationNadrieril2019-03-111-4/+4
|
* Normalize lazilyNadrieril2019-03-111-166/+212
| | | | Closes #7
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-96/+50
| | | | Closes #17
* Obey clippy lintsNadrieril2019-03-095-6/+10
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-094-90/+64
| | | | Closes #1
* Use new Label type everywhereNadrieril2019-03-094-85/+61
|
* Use new Label type instead of &str in parserNadrieril2019-03-092-3/+3
|
* A whole new bunch of tests now pass !Nadrieril2019-03-092-1/+2
|
* Rename dhall! to dhall_expr! for clarityNadrieril2019-03-091-5/+5
|
* Recursive imports work !Nadrieril2019-03-091-2/+2
|
* rustfmtNadrieril2019-03-091-16/+34
|
* First import works !Nadrieril2019-03-093-51/+85
|
* Clean up some of the messNadrieril2019-03-082-24/+17
|
* Rename Expr back to its true nameNadrieril2019-03-085-83/+83
|
* Finally get rid of all the &'i strNadrieril2019-03-084-106/+111
|
* Make labels non-CopyNadrieril2019-03-082-8/+8
|
* rustfmtNadrieril2019-03-081-1/+1
|
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-084-80/+103
|
* Generalise Context on its type of keysNadrieril2019-03-081-4/+4
|
* Make Expr generic in its type of labelsNadrieril2019-03-082-4/+5
|
* Make test harness less macro-yNadrieril2019-03-071-0/+46
|
* rustfmtNadrieril2019-03-063-35/+46
|
* Finally get rid of old parserNadrieril2019-03-061-28/+2
|
* Start parsing importsNadrieril2019-03-064-5/+14
|
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-064-2/+186
|
* rustfmtNadrieril2019-03-061-1/+1
|
* Move context to dhall_coreNadrieril2019-03-063-58/+1
|
* Split-off normalization into its own crateNadrieril2019-03-062-1/+3
|
* Split-off core into its own crateNadrieril2019-03-068-2611/+8
|
* rustfmtNadrieril2019-03-067-291/+535
|
* Implement normalization for some more builtinsNadrieril2019-03-061-5/+16
|
* rustfmtNadrieril2019-03-061-167/+292
|
* Add missing builtinsNadrieril2019-03-061-9/+27
|
* Merge binary operations in ASTNadrieril2019-03-054-126/+106
|
* Use core aliases for number typesNadrieril2019-03-051-3/+4
|
* Parse doublesNadrieril2019-03-051-0/+16
|
* Add literal_expression_raw backNadrieril2019-03-051-29/+28
|
* Remove all external calls to match_pestNadrieril2019-03-051-23/+25
|
* Rewrite most parse rules using rule!Nadrieril2019-03-051-174/+225
|
* Improve the ergonomics of matchingNadrieril2019-03-051-43/+41
|
* Implement more flexible matchingNadrieril2019-03-051-95/+106
|
* Fix error handling in macrosNadrieril2019-03-051-2/+2
|
* Remove @get_err entrypoints from macrosNadrieril2019-03-051-37/+20
|
* Prepare for more flexible matching in match_children!Nadrieril2019-03-051-19/+58
|
* Split branching from typing in match_children!Nadrieril2019-03-051-31/+49
|
* Parse single quote literalsNadrieril2019-03-051-17/+54
|
* Extract non-parser-specific behavior from match_children!Nadrieril2019-03-051-63/+126
|
* Improve error handling in match_children!Nadrieril2019-03-051-15/+28
|
* Allow empty match in match_children!Nadrieril2019-03-052-3/+8
|
* Fix in match_iter error handlingNadrieril2019-03-051-1/+4
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 18:16:16 +0000