summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core/expr.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make ParseInput independent from dhall-specific typesNadrieril2019-09-091-6/+2
* Store Spans at every node when parsingNadrieril2019-09-061-4/+14
* Resolve imports by mutating Expr instead of cloning itNadrieril2019-09-031-53/+49
* No need to change the type of Embed when resolving anymoreNadrieril2019-09-031-9/+16
* Parse polymorphically in the Embed parameterNadrieril2019-09-021-7/+2
* Implement parsing of `toMap` keywordNadrieril2019-08-311-0/+2
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-32/+32
* clippyNadrieril2019-08-271-1/+1
* Use `!` type instead of custom empty typeNadrieril2019-08-161-12/+2
* Implement inline headers parsingNadrieril2019-08-131-6/+11
* Implement Hash for ParsedSubExprNadrieril2019-08-131-5/+23
* 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-131-3/+12
* Considerably simplify Embed handlingNadrieril2019-08-131-84/+26
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-14/+2
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-68/+63
* Add support for dependent typesNadrieril2019-08-081-1/+5
* Add truncated Natural subtractionNadrieril2019-08-071-0/+1
* Remove union literals from the languageNadrieril2019-08-071-2/+0
* Sort labels in projection expressionsNadrieril2019-08-071-2/+2
* Generalize empty list annotationsNadrieril2019-08-061-1/+1
* Add some new tests and implement import alternativesNadrieril2019-08-061-0/+39
* Remove old-style optional literalsNadrieril2019-08-061-4/+0
* TweakNadrieril2019-05-121-12/+12
* clippyNadrieril2019-05-121-1/+0
* Write a custom map type that allows duplicatesNadrieril2019-05-101-4/+5
* Small utility SubExpr::from_builtinNadrieril2019-05-091-0/+4
* ExprF need not be generic in LabelNadrieril2019-05-091-53/+21
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-9/+13
* Detect duplicate record fields in typecheckNadrieril2019-05-091-5/+4
* 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-071-0/+464
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 21:51:58 +0000