summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #75 from basile-henry/import-cyclesNadrieril Feneanar2019-04-151-6/+32
|\ | | | | Handle import cycles
| * Error on import cyclesBasile Henry2019-04-151-6/+32
| |
* | Merge branch 'publish-abnf-to-pest'Nadrieril2019-04-154-15/+72
|\ \
| * | Seriously, trailing slash?Nadrieril2019-04-153-5/+5
| | |
| * | clippyNadrieril2019-04-151-2/+1
| | |
| * | Prepare for publicationNadrieril2019-04-153-2/+29
| | |
| * | Document abnf_to_pest somewhatNadrieril2019-04-151-0/+23
| | |
| * | Keep rule order in `abnf_to_pest`Nadrieril2019-04-153-2/+10
| | | | | | | | | | | | Closes #79
| * | Use upstream abnf crateNadrieril2019-04-153-7/+7
|/ /
* / Handle empty optionals correctlyNadrieril2019-04-158-9/+37
|/ | | | Closes #78
* rustfmtNadrieril2019-04-152-5/+6
|
* Remove leftover bx() functionNadrieril2019-04-152-11/+6
|
* Namespace deserialization functions in a `de` submoduleNadrieril2019-04-145-51/+55
| | | | Closes #73
* clippyNadrieril2019-04-147-20/+18
|
* abnf_to_pest: Document roughlyNadrieril2019-04-141-0/+3
|
* Use crates.io improved_slice_patterns on top of path depNadrieril2019-04-141-1/+1
|
* Merge branch 'publish-improved_slice_patterns'Nadrieril2019-04-148-92/+125
|\
| * improved_slice_patterns: README wordingNadrieril2019-04-141-1/+1
| |
| * improved_slice_patterns: publish new versionNadrieril2019-04-141-2/+2
| |
| * improved_slice_patterns: various tweaks for crates.ioNadrieril2019-04-142-2/+10
| |
| * improved_slice_patterns: prepare for publishingNadrieril2019-04-143-6/+10
| |
| * improved_slice_patterns: add READMENadrieril2019-04-141-0/+23
| |
| * improved_slice_patterns: relicenseNadrieril2019-04-141-1/+1
| |
| * improved_slice_patterns: Improve docsNadrieril2019-04-141-0/+21
| |
| * improved_slice_patterns: doctestsNadrieril2019-04-142-17/+26
| |
| * improved_slice_patterns: use doc commentsNadrieril2019-04-141-45/+45
| |
| * Rename iter_patterns to improved_slice_patternsNadrieril2019-04-146-6/+6
| |
| * Remove match_iter from iter_patternsNadrieril2019-04-141-32/+0
|/
* Update dependenciesNadrieril2019-04-142-32/+32
|
* Document roughly the dhall subcratesNadrieril2019-04-143-0/+17
| | | | Closes #72
* Use upstream pestNadrieril2019-04-143-13/+4
|
* Add import testsNadrieril2019-04-142-0/+40
| | | | Closes #71
* Naming nitpickNadrieril2019-04-141-5/+5
|
* Merge pull request #68 from basile-henry/cache-importsNadrieril Feneanar2019-04-142-20/+42
|\ | | | | Cache imports
| * Cache importsBasile Henry2019-04-142-20/+42
| |
* | Document why Visitor is neededNadrieril2019-04-141-0/+12
|/
* Remove unused ExprF::as_refNadrieril2019-04-141-47/+0
|
* Improve visitor trait hierarchyNadrieril2019-04-142-87/+226
|
* Remove leftover commentNadrieril2019-04-141-42/+0
|
* Transform more mapping functions to use the Visitor traitNadrieril2019-04-143-74/+174
|
* Rewrite map methods with Visitor traitsNadrieril2019-04-143-110/+261
| | | | Closes #69
* Implement `let` type synonymsNadrieril2019-04-141-51/+25
|
* Fix a tiny normalization bugNadrieril2019-04-141-1/+1
|
* Rework Expr printer with better separation of concernsNadrieril2019-04-131-142/+136
|
* Implement ListAppend typecheckingNadrieril2019-04-131-2/+20
|
* Fix `let` parsingNadrieril2019-04-132-1/+2
|
* Improve error display on test failureNadrieril2019-04-131-10/+20
|
* Various typecheck improvementsNadrieril2019-04-131-83/+93
|
* Don't need dhall::expr!() for builtinsNadrieril2019-04-131-15/+20
|
* Split typecheck into two phasesNadrieril2019-04-131-202/+214
|