summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-03-24Improve decoder errors on unknown inputsNadrieril1-6/+2
2019-03-24Parser import hash and headersNadrieril1-5/+30
2019-03-22Parse a lot more of the import typesNadrieril1-10/+83
2019-03-22Improve binary decoding errorsNadrieril1-14/+25
2019-03-21Improve import handling in parserNadrieril1-0/+15
2019-03-21Follow the spec for handling DoublesNadrieril1-1/+1
2019-03-21Represent Optional literals more faithfullyNadrieril1-3/+3
2019-03-21Rename Record/Union to RecordType/UnionTypeNadrieril1-2/+2
2019-03-18Split List literal between empty and non-emptyNadrieril1-2/+2
2019-03-17Use Rc consistently everywhereNadrieril1-5/+4
2019-03-16Use Rc instead of Box in AST to allow structural sharingNadrieril1-1/+2
2019-03-16Use Box more uniformly in ASTNadrieril1-72/+73
2019-03-16Store an Option in OptionalLit instead of a vecNadrieril1-5/+5
2019-03-15Store a vec in AppNadrieril1-10/+8
2019-03-14Handle and parse interpolated stringsNadrieril1-3/+15
2019-03-14Implement binary decodingNadrieril1-0/+213