summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast/visitor.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-4/+1
2020-02-11Simplify ExprKind visitorNadrieril1-138/+82
2020-02-11Remove the Embed variant from ExprKindNadrieril1-18/+12
2020-02-09Resolve by ref instead of by mutNadrieril1-166/+0
2020-01-18Add Expr visitor and improve tyexpr_to_exprNadrieril1-32/+7
2020-01-17Implement traverse_ref for ValueKindNadrieril1-1/+2
2019-12-22Implement parsing for record completionNadrieril1-0/+7
2019-12-20s/ExprF/ExprKind/Nadrieril1-23/+24
2019-12-19Rename syntax::core to syntax::astNadrieril1-0/+0
2019-12-15Move contents of dhall_syntax to dhallNadrieril1-3/+3
2019-11-11rustfmtNadrieril1-1/+3
2019-11-11Parse projection by expressionNadrieril1-0/+5
2019-09-03Resolve imports by mutating Expr instead of cloning itNadrieril1-167/+246
2019-09-03No need to change the type of Embed when resolving anymoreNadrieril1-5/+6
2019-08-31Implement parsing of `toMap` keywordNadrieril1-0/+3
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-5/+4
2019-08-16Use `!` type instead of custom empty typeNadrieril1-1/+1
2019-08-13Implement inline headers parsingNadrieril1-2/+2
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-5/+6
2019-08-13Cleanup visitor codeNadrieril1-139/+54
2019-08-13Considerably simplify Embed handlingNadrieril1-43/+17
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril1-14/+1
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-29/+11
2019-08-08Add support for dependent typesNadrieril1-0/+1
2019-08-07Remove union literals from the languageNadrieril1-3/+0
2019-08-06Add some new tests and implement import alternativesNadrieril1-0/+25
2019-08-06Remove old-style optional literalsNadrieril1-4/+0
2019-05-10Write a custom map type that allows duplicatesNadrieril1-12/+17
2019-05-09ExprF need not be generic in LabelNadrieril1-139/+71
2019-05-09Detect duplicate record fields in typecheckNadrieril1-12/+10
2019-05-07Reorganize dhall_syntaxNadrieril1-0/+0
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril1-79/+5
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-65/+65
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-65/+65
2019-05-04Thread Spans through the ASTNadrieril1-5/+6
2019-05-04Move `Note`s into the spine of the ASTNadrieril1-185/+49
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-0/+0
2019-04-20An empty optional value is purely semanticNadrieril1-2/+1
2019-04-19A union constructor is a purely semantic valueNadrieril1-3/+0
2019-04-19Make App() only store one argumentNadrieril1-3/+1
2019-04-18Remove more duplicationNadrieril1-30/+0
2019-04-18Avoid an unnecessary unroll()Nadrieril1-24/+51
2019-04-18Add even more general visitor traitNadrieril1-55/+140
2019-04-18Reduce duplication between mapping functionsNadrieril1-1/+0
2019-04-18Start cleaning up the mess of mapping functionsNadrieril1-2/+40
2019-04-17Normalize union constructorsNadrieril1-2/+5
2019-04-16Prepare for nullary union variantsNadrieril1-4/+27
2019-04-15Handle empty optionals correctlyNadrieril1-0/+4
2019-04-14clippyNadrieril1-2/+2
2019-04-14Document why Visitor is neededNadrieril1-0/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:47:30 +0000