summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Automate conversion between envsNadrieril2020-02-093-22/+26
|
* Remove all types from ValueNadrieril2020-02-095-89/+16
|
* Take Hir for typecheckNadrieril2020-02-097-57/+58
|
* Resolve variables alongside import resolutionNadrieril2020-02-098-83/+161
|
* Resolve by ref instead of by mutNadrieril2020-02-093-274/+81
|
* Introduce environment for import resolutionNadrieril2020-02-091-31/+56
|
* Remove extra types stored in ValueNadrieril2020-02-093-47/+20
|
* Remove most TyExpr from normalizationNadrieril2020-02-0916-126/+98
|
* Add Hir as untyped alternative to TyExprNadrieril2020-02-095-65/+133
|
* Remove move type propagation through ValueNadrieril2020-02-095-237/+86
|
* Remove most reliance on types stored in ValueNadrieril2020-02-095-67/+88
|
* Upgrade Rust toolchainNadrieril2020-02-091-2/+0
|
* Track error output of parsing and binary decoding testsNadrieril2020-02-0963-7/+325
|
* Remove distinction between failure and error testsNadrieril2020-02-092-40/+4
|
* Add option to overwrite test filesNadrieril2020-02-091-48/+105
|
* Move ui outputs to a sensible placeNadrieril2020-02-09109-16/+11
|
* Massively deduplicate test harnessNadrieril2020-02-094-159/+199
|
* Track output of import errorsNadrieril2020-02-094-0/+44
|
* Add forgotten test outputsNadrieril2020-02-066-0/+40
|
* Implement some record simplificationsNadrieril2020-02-062-13/+98
|
* Normalize toMapNadrieril2020-02-054-19/+55
|
* Typecheck record completionNadrieril2020-02-052-38/+51
|
* Typecheck projection by typeNadrieril2020-02-052-12/+25
|
* Implement typechecking of toMapNadrieril2020-02-0411-26/+134
|
* Workaround panic in a serde_dhall exampleNadrieril2020-02-041-2/+4
| | | | | Unsure what's causing it, most probably mixing of spans from different inputs
* Add basic pretty type errors to all errorsNadrieril2020-02-0484-181/+480
|
* Add local test files on top of dhall-lang testsNadrieril2020-02-025-46/+62
|
* Tweak errorsNadrieril2020-02-029-65/+63
|
* Use Spans consistently by valueNadrieril2020-02-025-23/+19
|
* Fix spans for unions and recordsNadrieril2020-02-024-21/+28
|
* Let rustfmt format string literalsNadrieril2020-02-021-43/+44
|
* More errorsNadrieril2020-02-0210-33/+138
|
* More nice errors plus some refactorNadrieril2020-02-0214-174/+270
|
* Implement once nice error using annotate_snippetsNadrieril2020-02-0110-27/+209
|
* Factor out custom Lazy structNadrieril2020-01-313-35/+83
|
* Use Rc equality to shortcut Value equalityNadrieril2020-01-301-2/+1
|
* Tweak ConstantClosureNadrieril2020-01-302-25/+21
|
* Eval Thunk by moveNadrieril2020-01-301-4/+3
|
* Get rid of all the manual Ref borrowsNadrieril2020-01-302-149/+75
|
* Use OnceCell to enable returning &ValKindNadrieril2020-01-303-71/+57
|
* Replace Form with a pair of RefCells, in preparation for OnceCellNadrieril2020-01-301-88/+71
|
* Move Form::PartialExpr into ThunkNadrieril2020-01-301-36/+46
|
* Only the Form must be in a RefCellNadrieril2020-01-301-61/+67
|
* Avoid unnecessary allocations of `Value`sNadrieril2020-01-305-25/+25
|
* Clarify normalization to ensure we only nze onceNadrieril2020-01-304-58/+55
|
* Move Thunk value into ValueInternalNadrieril2020-01-302-35/+32
|
* Prepare ValueInternal with new `Form`sNadrieril2020-01-301-53/+50
|
* Factor out text literals in ValueNadrieril2020-01-303-83/+110
| | | | This allows encapsulating invariants properly and reducing clutter
* Remove type parameter from ValueKindNadrieril2020-01-304-35/+21
|
* Remove Value visitorNadrieril2020-01-303-309/+87
| | | | | | It's mostly useful when we can change types, but it's also too constraining if we can, because then we can't enforce complex invariants like the one for TextLit.
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 19:41:57 +0000