summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/parser.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into fintan/canonicalizeNadrieril2019-09-031-942/+939
|\
| * Parse polymorphically in the Embed parameterNadrieril2019-09-021-64/+76
| * Use proper hygiene for `Parsers` and `Rule`Nadrieril2019-09-021-2/+7
| * Properly parse the argument of make_parser as an implNadrieril2019-09-021-1/+3
| * Get rid of EntryPoint magicNadrieril2019-09-021-43/+48
| * Make make_parser into a proc_macro_attributeNadrieril2019-09-011-1/+2
| * Change parser macros to use a function-like syntaxNadrieril2019-09-011-748/+927
| * Rewrite the make_parser macro as a proc_macroNadrieril2019-09-011-203/+6
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-021-385/+436
|\|
| * Don't URL-decode path segmentsNadrieril2019-08-311-5/+22
| * Implement parsing of `toMap` keywordNadrieril2019-08-311-1/+7
| * Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-32/+32
| * clippyNadrieril2019-08-271-3/+3
| * s/token_rule/rule/Nadrieril2019-08-271-20/+20
| * Rework parse macros to avoid the large ParsedValue enumNadrieril2019-08-271-146/+139
| * Remove rule aliasingNadrieril2019-08-271-107/+93
| * WordingNadrieril2019-08-261-13/+13
| * Remove rule_group macroNadrieril2019-08-261-22/+4
| * Match on rules in parser instead of on ParsedValuesNadrieril2019-08-261-25/+128
| * Use `!` type instead of custom empty typeNadrieril2019-08-161-2/+2
| * Include precedence parsing in parser macrosNadrieril2019-08-151-133/+187
| * No need for manual stack handling in parser anymoreNadrieril2019-08-151-142/+96
| * Use precedence climbing to parse expressions with operatorsNadrieril2019-08-151-119/+108
| * Implement inline headers parsingNadrieril2019-08-131-14/+14
| * Store Imports in their own node instead of in EmbedNadrieril2019-08-131-7/+7
| * No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-35/+4
* | Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-021-17/+6
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-121-70/+76
|\|
| * Add support for dependent typesNadrieril2019-08-081-0/+12
| * Add truncated Natural subtractionNadrieril2019-08-071-0/+1
| * Remove union literals from the languageNadrieril2019-08-071-48/+3
| * Forbid surrogate pairs and non-charactersNadrieril2019-08-071-2/+21
| * Sort labels in projection expressionsNadrieril2019-08-071-3/+3
| * Generalize empty list annotationsNadrieril2019-08-061-4/+6
| * Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-1/+2
| * Add toMap keywordNadrieril2019-08-061-0/+1
| * RFC3986 URLsNadrieril2019-08-061-0/+7
| * Braced escape sequencesNadrieril2019-08-061-4/+24
| * Remove old-style optional literalsNadrieril2019-08-061-15/+3
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-13/+28
|/
* Update dhall-lang submoduleNadrieril2019-08-031-0/+1
* Update dhall-lang submoduleNadrieril2019-08-031-5/+13
* clippyNadrieril2019-05-121-2/+2
* Implement binary encodingNadrieril2019-05-121-7/+6
* Write a custom map type that allows duplicatesNadrieril2019-05-101-23/+14
* Detect duplicate record fields in typecheckNadrieril2019-05-091-14/+23
* Update dhall-lang submoduleNadrieril2019-05-091-27/+56
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
* Thread Spans through the ASTNadrieril2019-05-041-82/+80
* Move `Note`s into the spine of the ASTNadrieril2019-05-041-1/+1