summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core/visitor.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move contents of dhall_syntax to dhallNadrieril2019-12-151-360/+0
* rustfmtNadrieril2019-11-111-1/+3
* Parse projection by expressionNadrieril2019-11-111-0/+5
* Resolve imports by mutating Expr instead of cloning itNadrieril2019-09-031-167/+246
* No need to change the type of Embed when resolving anymoreNadrieril2019-09-031-5/+6
* Implement parsing of `toMap` keywordNadrieril2019-08-311-0/+3
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-5/+4
* Use `!` type instead of custom empty typeNadrieril2019-08-161-1/+1
* Implement inline headers parsingNadrieril2019-08-131-2/+2
* Store Imports in their own node instead of in EmbedNadrieril2019-08-131-5/+6
* Cleanup visitor codeNadrieril2019-08-131-139/+54
* Considerably simplify Embed handlingNadrieril2019-08-131-43/+17
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-14/+1
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-29/+11
* Add support for dependent typesNadrieril2019-08-081-0/+1
* Remove union literals from the languageNadrieril2019-08-071-3/+0
* Add some new tests and implement import alternativesNadrieril2019-08-061-0/+25
* Remove old-style optional literalsNadrieril2019-08-061-4/+0
* Write a custom map type that allows duplicatesNadrieril2019-05-101-12/+17
* ExprF need not be generic in LabelNadrieril2019-05-091-139/+71
* Detect duplicate record fields in typecheckNadrieril2019-05-091-12/+10
* Reorganize dhall_syntaxNadrieril2019-05-071-0/+458
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 14:37:50 +0000