summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core/expr.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15Move contents of dhall_syntax to dhallNadrieril1-377/+0
2019-11-11Parse projection by expressionNadrieril1-0/+2
2019-11-11Capture absence of span in Span itselfNadrieril1-14/+4
2019-11-11Move Span definition to its own fileNadrieril1-35/+0
2019-11-11Remove unused functionNadrieril1-4/+0
2019-09-09Make ParseInput independent from dhall-specific typesNadrieril1-6/+2
2019-09-06Store Spans at every node when parsingNadrieril1-4/+14
2019-09-03Resolve imports by mutating Expr instead of cloning itNadrieril1-53/+49
2019-09-03No need to change the type of Embed when resolving anymoreNadrieril1-9/+16
2019-09-02Parse polymorphically in the Embed parameterNadrieril1-7/+2
2019-08-31Implement parsing of `toMap` keywordNadrieril1-0/+2
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-32/+32
2019-08-27clippyNadrieril1-1/+1
2019-08-16Use `!` type instead of custom empty typeNadrieril1-12/+2
2019-08-13Implement inline headers parsingNadrieril1-6/+11
2019-08-13Implement Hash for ParsedSubExprNadrieril1-5/+23
2019-08-13The syntax has very little sharing; no need for Rc anymoreNadrieril1-11/+5
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-3/+12
2019-08-13Considerably simplify Embed handlingNadrieril1-84/+26
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril1-14/+2
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-68/+63
2019-08-08Add support for dependent typesNadrieril1-1/+5
2019-08-07Add truncated Natural subtractionNadrieril1-0/+1
2019-08-07Remove union literals from the languageNadrieril1-2/+0
2019-08-07Sort labels in projection expressionsNadrieril1-2/+2
2019-08-06Generalize empty list annotationsNadrieril1-1/+1
2019-08-06Add some new tests and implement import alternativesNadrieril1-0/+39
2019-08-06Remove old-style optional literalsNadrieril1-4/+0
2019-05-12TweakNadrieril1-12/+12
2019-05-12clippyNadrieril1-1/+0
2019-05-10Write a custom map type that allows duplicatesNadrieril1-4/+5
2019-05-09Small utility SubExpr::from_builtinNadrieril1-0/+4
2019-05-09ExprF need not be generic in LabelNadrieril1-53/+21
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-9/+13
2019-05-09Detect duplicate record fields in typecheckNadrieril1-5/+4
2019-05-08Rename the record combining operators internallyNadrieril1-5/+5
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-1/+1
2019-05-07Reorganize dhall_syntaxNadrieril1-0/+0
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril1-29/+11
2019-05-04We actually don't need SubExpr::shift anymoreNadrieril1-81/+0
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-111/+96
2019-05-04Revert "Recover arrow type detection"Nadrieril1-14/+1
2019-05-04Recover arrow type detectionNadrieril1-1/+14
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-96/+111
2019-05-04Thread Spans through the ASTNadrieril1-40/+53
2019-05-04Move `Note`s into the spine of the ASTNadrieril1-41/+28
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-0/+0
2019-05-02Remove shift0Nadrieril1-23/+17
2019-04-30Fix shifting. This completely destroys sharing so performance is dead.Nadrieril1-1/+3
2019-04-29Don't shift by mutable refNadrieril1-7/+19
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 21:52:43 +0000