summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-748/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-8/+8
2019-11-11rustfmtNadrieril1-2/+6
2019-11-11Parse projection by expressionNadrieril1-0/+10
2019-11-11Capture absence of span in Span itselfNadrieril1-2/+8
2019-11-11Run `cargo fmt`Nadrieril1-5/+11
2019-09-03Move Canonicalize into resolve.Fintan Halpenny1-5/+5
2019-09-03Upgrade rust toolchainNadrieril1-16/+12
2019-09-02Remove the notion of Directory and have File be the vector of componentsFintan Halpenny1-13/+5
2019-08-31Implement parsing of `toMap` keywordNadrieril1-0/+11
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-27/+22
2019-08-16Reduce api surface of dhall crateNadrieril1-2/+2
2019-08-13Implement inline headers parsingNadrieril1-31/+19
2019-08-13Implement Hash for ParsedSubExprNadrieril1-23/+18
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-10/+14
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-24/+21
2019-08-12Refactor of File to be the combination of Directory and the file name,FintanH1-9/+20
2019-08-10Update dhall-lang submoduleNadrieril1-0/+13
2019-08-08Add support for dependent typesNadrieril1-0/+7
2019-08-07Flatten nested let bindingsNadrieril1-6/+40
2019-08-07Add binary-decode testsNadrieril1-0/+21
2019-08-07Remove union literals from the languageNadrieril1-9/+3
2019-08-07Various parsing tweaksNadrieril1-3/+3
2019-08-06Generalize empty list annotationsNadrieril1-2/+6
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril1-2/+9
2019-08-06RFC3986 URLsNadrieril1-1/+7
2019-08-06rustfmtNadrieril1-7/+10
2019-08-06Remove old-style optional literalsNadrieril1-7/+9
2019-08-06Inline headersNadrieril1-15/+14
2019-08-03Update dhall-lang submoduleNadrieril1-12/+12
2019-05-12Finish implementing binary encodingNadrieril1-6/+8
2019-05-12Implement binary encodingNadrieril1-20/+291
2019-05-10Write a custom map type that allows duplicatesNadrieril1-29/+38
2019-05-09Detect duplicate record fields in typecheckNadrieril1-32/+29
2019-05-08Rename the record combining operators internallyNadrieril1-3/+3
2019-05-06Consolidate errors in the error moduleNadrieril1-8/+9
2019-05-06Reorganize dhall into a phase structureNadrieril1-0/+0
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-13/+9
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-9/+13
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-2/+2
2019-05-02Update dhall-lang submoduleNadrieril1-1/+1
2019-04-20An empty optional value is purely semanticNadrieril1-1/+1
2019-04-19Make App() only store one argumentNadrieril1-6/+6
2019-04-16Prepare for nullary union variantsNadrieril1-2/+20
2019-04-15Handle empty optionals correctlyNadrieril1-2/+2
2019-04-13Fix `let` parsingNadrieril1-0/+1
2019-04-08clippyNadrieril1-15/+15
2019-04-07FixNadrieril1-0/+1
2019-03-31Move recursion out of ExprNadrieril1-2/+2
2019-03-31Make SubExpr a newtypeNadrieril1-2/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 20:45:48 +0000