summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs (follow)
Commit message (Collapse)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 Halpenny2019-09-061-16/+12
|\ | | | | | | fintan/canonicalize
| * 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
|/ / | | | | | | Rename File to FilePath and have more consistent naming.
* | 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
| | | | | | | | 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
| |
* | 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
|/ | | | | | | | | | where Directory is the Vector of component paths. The refactor meant changing some sections of the code where we were parsing and manipulating Files/Directories. This also includes a new trait Canonicalization which is needed for import logic.
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 23:14:16 +0000