summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement parsing of `toMap` keywordNadrieril2019-08-312-0/+5
|
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-282-37/+36
| | | | For clarity, and consistency with Value
* 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
|
* 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
|
* Update dhall-lang submoduleNadrieril2019-08-031-3/+2
|
* TweakNadrieril2019-05-121-12/+12
|
* clippyNadrieril2019-05-122-3/+2
|
* Implement binary encodingNadrieril2019-05-123-32/+82
| | | | Closes #39
* oopsNadrieril2019-05-101-0/+1
|
* Write a custom map type that allows duplicatesNadrieril2019-05-104-16/+201
|
* Small utility SubExpr::from_builtinNadrieril2019-05-091-0/+4
|
* ExprF need not be generic in LabelNadrieril2019-05-092-192/+92
|
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-9/+13
|
* Detect duplicate record fields in typecheckNadrieril2019-05-092-17/+14
|
* Update dhall-lang submoduleNadrieril2019-05-091-0/+12
|
* Rename the record combining operators internallyNadrieril2019-05-081-5/+5
|
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-1/+1
|
* Reorganize dhall_syntaxNadrieril2019-05-077-0/+1226
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 22:43:09 +0000