summaryrefslogtreecommitdiff
path: root/dhall_syntax/src (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-028-862/+727
|\|
| * Don't URL-decode path segmentsNadrieril2019-08-312-22/+27
| * Implement parsing of `toMap` keywordNadrieril2019-08-314-1/+23
| * Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-284-72/+71
| * clippyNadrieril2019-08-273-5/+5
| * 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-262-25/+129
| * Use `!` type instead of custom empty typeNadrieril2019-08-164-15/+6
| * Include precedence parsing in parser macrosNadrieril2019-08-152-133/+188
| * 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-135-44/+80
| * Implement Hash for ParsedSubExprNadrieril2019-08-132-6/+24
| * The syntax has very little sharing; no need for Rc anymoreNadrieril2019-08-131-11/+5
| * Store Imports in their own node instead of in EmbedNadrieril2019-08-134-20/+36
| * Cleanup visitor codeNadrieril2019-08-131-139/+54
| * Considerably simplify Embed handlingNadrieril2019-08-133-128/+44
| * Stop tracking the absence of Embed values at the type levelNadrieril2019-08-134-35/+4
| * No need to track the absence of `Span`s at the type levelNadrieril2019-08-134-138/+84
* | Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-022-53/+19
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-126-107/+254
|\|
| * Add support for dependent typesNadrieril2019-08-084-1/+22
| * Add truncated Natural subtractionNadrieril2019-08-073-0/+3
| * Remove union literals from the languageNadrieril2019-08-074-63/+3
| * Forbid surrogate pairs and non-charactersNadrieril2019-08-071-2/+21
| * Sort labels in projection expressionsNadrieril2019-08-073-5/+100
| * Generalize empty list annotationsNadrieril2019-08-062-5/+7
| * Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-062-3/+3
| * Add toMap keywordNadrieril2019-08-061-0/+1
| * RFC3986 URLsNadrieril2019-08-063-0/+9
| * Braced escape sequencesNadrieril2019-08-061-4/+24
| * Add some new tests and implement import alternativesNadrieril2019-08-062-0/+64
| * Remove old-style optional literalsNadrieril2019-08-064-31/+3
| * Inline headersNadrieril2019-08-061-0/+1
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-123-19/+154
|/
* Update dhall-lang submoduleNadrieril2019-08-031-0/+1
* Update dhall-lang submoduleNadrieril2019-08-033-9/+18
* TweakNadrieril2019-05-121-12/+12
* clippyNadrieril2019-05-123-5/+4
* Implement binary encodingNadrieril2019-05-125-50/+106
* oopsNadrieril2019-05-101-0/+1
* Write a custom map type that allows duplicatesNadrieril2019-05-105-39/+215
* Small utility SubExpr::from_builtinNadrieril2019-05-091-0/+4
* ExprF need not be generic in LabelNadrieril2019-05-093-194/+94
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-9/+13
* Detect duplicate record fields in typecheckNadrieril2019-05-093-31/+37