summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Avoid an unnecessary unroll()Nadrieril2019-04-182-27/+52
|
* Add even more general visitor traitNadrieril2019-04-181-55/+140
|
* Reduce duplication between mapping functionsNadrieril2019-04-183-60/+35
|
* Deprecate some thingsNadrieril2019-04-182-21/+6
|
* Merge impl blocksNadrieril2019-04-181-106/+104
|
* Consistent type variable namingNadrieril2019-04-181-33/+34
|
* Start cleaning up the mess of mapping functionsNadrieril2019-04-184-26/+132
|
* Simplify implementation of shift and subst_shiftNadrieril2019-04-181-27/+31
|
* Normalize union constructorsNadrieril2019-04-174-8/+41
|
* rustfmtNadrieril2019-04-161-1/+2
|
* Add typecheck failure testsNadrieril2019-04-161-7/+82
|
* Update dhall-lang submoduleNadrieril2019-04-164-7/+14
|
* Tiny rename to save myself a lot of painNadrieril2019-04-163-29/+34
|
* Handle nullary union variantsNadrieril2019-04-163-7/+14
| | | | Closes #36
* Prepare for nullary union variantsNadrieril2019-04-168-71/+163
|
* Improve test error ergonomicsNadrieril2019-04-161-2/+8
|
* Fix union constructor typecheckingNadrieril2019-04-162-17/+30
|
* Typecheck union constructorNadrieril2019-04-161-6/+15
|
* Typecheck unionsNadrieril2019-04-161-16/+26
|
* Typecheck higher-kinded recordsNadrieril2019-04-161-21/+33
|
* Remove one more instance of duplicate typecheckingNadrieril2019-04-162-1/+16
|
* Remove higher-kinded type noise in TypeNadrieril2019-04-164-42/+67
|
* Revert "Preserve notes when normalizing"Nadrieril2019-04-161-13/+6
| | | | This reverts commit fd9e37dfbc49e850a784fa3e907bd0a358d91e28.
* Preserve notes when normalizingNadrieril2019-04-161-6/+13
|
* Naming tweaksNadrieril2019-04-162-12/+12
|
* Avoid some work duplication in typecheckingNadrieril2019-04-162-51/+56
|
* Doc tweakNadrieril2019-04-161-8/+8
|
* Reference upstream abnf_to_pestNadrieril2019-04-161-1/+1
|
* 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
| |