summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/binary/decode.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-01Untangle caching codeNadrieril1-1/+1
2020-10-30Roll our own Value for binary decodingNadrieril1-12/+162
2020-09-14spec: Enable `with` optimizationsNadrieril1-0/+21
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-1/+3
2020-04-06Extract operation-related code to a new moduleNadrieril1-1/+2
2020-04-06Split off operations from main expr enumNadrieril1-15/+19
2020-03-31Brutally make all of dhall pubNadrieril1-1/+1
2020-03-31Remove top-level Expr aliasesNadrieril1-1/+1
2020-03-31Rename LitKind to NumKindNadrieril1-8/+8
2020-03-17Run clippyNadrieril1-49/+82
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-5/+5
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-9/+9
2020-02-11Remove the Embed variant from ExprKindNadrieril1-1/+1
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2019-12-22Implement parsing for record completionNadrieril1-0/+5
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-2/+3
2019-12-20s/ExprF/ExprKind/Nadrieril1-6/+6
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-17Split binary decoding and encoding into separate filesNadrieril1-316/+4
2019-12-17Split syntax module between text and binaryNadrieril1-0/+0
2019-12-17Specialize parsingNadrieril1-0/+1
2019-12-17Move binary encoding/decoding to syntax/Nadrieril1-0/+0
2019-12-15Refer to semantics module properlyNadrieril1-2/+2
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-9/+9
2019-12-15fixup! Reexport dhall_syntax as a module in dhallNadrieril1-2/+2
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+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