summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-748/+0
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-8/+8
* rustfmtNadrieril2019-11-111-2/+6
* Parse projection by expressionNadrieril2019-11-111-0/+10
* Capture absence of span in Span itselfNadrieril2019-11-111-2/+8
* Run `cargo fmt`Nadrieril2019-11-111-5/+11
* Merge remote-tracking branch 'origin/fintan/canonicalize' into fintan/canonic...Fintan Halpenny2019-09-061-16/+12
|\
| * Merge remote-tracking branch 'origin/master' into fintan/canonicalizeNadrieril2019-09-031-16/+12
| |\
| | * Upgrade rust toolchainNadrieril2019-09-031-16/+12
* | | Move Canonicalize into resolve.Fintan Halpenny2019-09-031-5/+5
|/ /
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-021-79/+69
|\|
| * Implement parsing of `toMap` keywordNadrieril2019-08-311-0/+11
| * Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-27/+22
| * Reduce api surface of dhall crateNadrieril2019-08-161-2/+2
| * 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
* | Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-021-13/+5
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-121-44/+134
|\|
| * 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
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-9/+20
|/
* Update dhall-lang submoduleNadrieril2019-08-031-12/+12
* Finish implementing binary encodingNadrieril2019-05-121-6/+8
* Implement binary encodingNadrieril2019-05-121-20/+291
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 21:13:04 +0000