summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core (follow)
Commit message (Expand)AuthorAgeFilesLines
* rustfmtNadrieril2019-11-111-1/+3
* Parse projection by expressionNadrieril2019-11-112-0/+7
* Ensure spans are compatible in Span::unionNadrieril2019-11-111-5/+7
* Add a few more pretty errorsNadrieril2019-11-111-1/+1
* Clarify Span::union and add Span::mergeNadrieril2019-11-111-2/+14
* Propagate more spansNadrieril2019-11-111-3/+0
* Display first pretty type errorNadrieril2019-11-111-0/+14
* Store a `Span` in `Value`Nadrieril2019-11-111-0/+3
* Capture absence of span in Span itselfNadrieril2019-11-112-16/+15
* Fix typoNadrieril2019-11-111-1/+1
* Move Span definition to its own fileNadrieril2019-11-113-35/+46
* Remove unused functionNadrieril2019-11-111-4/+0
* Merge branch 'master' into fintan/canonicalizeNadrieril Feneanar2019-09-201-8/+14
|\
| * Make ParseInput independent from dhall-specific typesNadrieril2019-09-091-6/+2
| * Store Spans at every node when parsingNadrieril2019-09-061-4/+14
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-065-220/+448
|\|
| * Add mapping functions to InterpolatedTextContentsNadrieril2019-09-031-0/+46
| * Resolve imports by mutating Expr instead of cloning itNadrieril2019-09-035-225/+399
| * No need to change the type of Embed when resolving anymoreNadrieril2019-09-032-14/+22
* | Merge remote-tracking branch 'origin/fintan/canonicalize' into fintan/canonic...Fintan Halpenny2019-09-061-7/+2
|\ \
| * | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeNadrieril2019-09-031-7/+2
| |\|
| | * Parse polymorphically in the Embed parameterNadrieril2019-09-021-7/+2
* | | Move Canonicalize into resolve.Fintan Halpenny2019-09-031-72/+3
* | | No need for as_ref callFintan Halpenny2019-09-031-1/+1
|/ /
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-025-429/+250
|\|
| * Implement parsing of `toMap` keywordNadrieril2019-08-312-0/+5
| * Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-282-37/+36
| * clippyNadrieril2019-08-272-2/+2
| * Use `!` type instead of custom empty typeNadrieril2019-08-162-13/+3
| * Implement inline headers parsingNadrieril2019-08-133-20/+63
| * 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-132-8/+18
| * Cleanup visitor codeNadrieril2019-08-131-139/+54
| * Considerably simplify Embed handlingNadrieril2019-08-132-127/+43
| * Stop tracking the absence of Embed values at the type levelNadrieril2019-08-133-29/+4
| * No need to track the absence of `Span`s at the type levelNadrieril2019-08-132-97/+74
* | Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-021-36/+13
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-124-17/+171
|\|
| * Add support for dependent typesNadrieril2019-08-082-1/+6
| * Add truncated Natural subtractionNadrieril2019-08-071-0/+1
| * Remove union literals from the languageNadrieril2019-08-072-5/+0
| * Sort labels in projection expressionsNadrieril2019-08-072-2/+97
| * Generalize empty list annotationsNadrieril2019-08-061-1/+1
| * RFC3986 URLsNadrieril2019-08-061-0/+1
| * Add some new tests and implement import alternativesNadrieril2019-08-062-0/+64
| * Remove old-style optional literalsNadrieril2019-08-062-8/+0
| * Inline headersNadrieril2019-08-061-0/+1
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-2/+120
|/
* Update dhall-lang submoduleNadrieril2019-08-031-3/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 02:42:18 +0000