summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Upgrade rust toolchainNadrieril2019-09-031-16/+12
|
* Implement parsing of `toMap` keywordNadrieril2019-08-311-0/+11
|
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-27/+22
| | | | For clarity, and consistency with Value
* Reduce api surface of dhall crateNadrieril2019-08-161-2/+2
| | | | Helps detect unused code
* Implement inline headers parsingNadrieril2019-08-131-31/+19
|
* Implement Hash for ParsedSubExprNadrieril2019-08-131-23/+18
|
* Store Imports in their own node instead of in EmbedNadrieril2019-08-131-10/+14
|
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-24/+21
|
* Update dhall-lang submoduleNadrieril2019-08-101-0/+13
|
* Add support for dependent typesNadrieril2019-08-081-0/+7
|
* Flatten nested let bindingsNadrieril2019-08-071-6/+40
|
* Add binary-decode testsNadrieril2019-08-071-0/+21
|
* Remove union literals from the languageNadrieril2019-08-071-9/+3
|
* Various parsing tweaksNadrieril2019-08-071-3/+3
|
* Generalize empty list annotationsNadrieril2019-08-061-2/+6
|
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-2/+9
|
* RFC3986 URLsNadrieril2019-08-061-1/+7
|
* rustfmtNadrieril2019-08-061-7/+10
|
* Remove old-style optional literalsNadrieril2019-08-061-7/+9
|
* Inline headersNadrieril2019-08-061-15/+14
|
* Update dhall-lang submoduleNadrieril2019-08-031-12/+12
|
* Finish implementing binary encodingNadrieril2019-05-121-6/+8
|
* Implement binary encodingNadrieril2019-05-121-20/+291
| | | | Closes #39
* Write a custom map type that allows duplicatesNadrieril2019-05-101-29/+38
|
* Detect duplicate record fields in typecheckNadrieril2019-05-091-32/+29
|
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
|
* Consolidate errors in the error moduleNadrieril2019-05-061-8/+9
|
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+363