Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Forbid surrogate pairs and non-characters | Nadrieril | 2019-08-07 | 1 | -2/+21 |
| | |||||
* | Sort labels in projection expressions | Nadrieril | 2019-08-07 | 3 | -5/+100 |
| | |||||
* | Generalize empty list annotations | Nadrieril | 2019-08-06 | 2 | -5/+7 |
| | |||||
* | Prepare for https://github.com/dhall-lang/dhall-lang/pull/630 | Nadrieril | 2019-08-06 | 2 | -3/+3 |
| | |||||
* | Add toMap keyword | Nadrieril | 2019-08-06 | 1 | -0/+1 |
| | |||||
* | RFC3986 URLs | Nadrieril | 2019-08-06 | 3 | -0/+9 |
| | |||||
* | Braced escape sequences | Nadrieril | 2019-08-06 | 1 | -4/+24 |
| | |||||
* | Add some new tests and implement import alternatives | Nadrieril | 2019-08-06 | 2 | -0/+64 |
| | |||||
* | Remove old-style optional literals | Nadrieril | 2019-08-06 | 4 | -31/+3 |
| | |||||
* | Inline headers | Nadrieril | 2019-08-06 | 1 | -0/+1 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-08-03 | 1 | -0/+1 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-08-03 | 4 | -9/+19 |
| | |||||
* | Tweak | Nadrieril | 2019-05-12 | 1 | -12/+12 |
| | |||||
* | clippy | Nadrieril | 2019-05-12 | 3 | -5/+4 |
| | |||||
* | Implement binary encoding | Nadrieril | 2019-05-12 | 5 | -50/+106 |
| | | | | Closes #39 | ||||
* | oops | Nadrieril | 2019-05-10 | 1 | -0/+1 |
| | |||||
* | Write a custom map type that allows duplicates | Nadrieril | 2019-05-10 | 6 | -39/+217 |
| | |||||
* | Small utility SubExpr::from_builtin | Nadrieril | 2019-05-09 | 1 | -0/+4 |
| | |||||
* | ExprF need not be generic in Label | Nadrieril | 2019-05-09 | 3 | -194/+94 |
| | |||||
* | Make shift fallible and improve shift ergonomics | Nadrieril | 2019-05-09 | 1 | -9/+13 |
| | |||||
* | Detect duplicate record fields in typecheck | Nadrieril | 2019-05-09 | 3 | -31/+37 |
| | |||||
* | Update dhall-lang submodule | Nadrieril | 2019-05-09 | 2 | -27/+68 |
| | |||||
* | Rename the record combining operators internally | Nadrieril | 2019-05-08 | 3 | -11/+11 |
| | |||||
* | Implement normalization of missing builtins | Nadrieril | 2019-05-08 | 1 | -1/+12 |
| | |||||
* | Don't discard normalization work done by typechecking | Nadrieril | 2019-05-07 | 1 | -1/+1 |
| | |||||
* | Reorganize dhall_syntax | Nadrieril | 2019-05-07 | 8 | -8/+12 |
| | |||||
* | Clean up some of the SubExpr type-changing methods | Nadrieril | 2019-05-07 | 2 | -108/+16 |
| | |||||
* | We actually don't need SubExpr::shift anymore | Nadrieril | 2019-05-04 | 1 | -81/+0 |
| | |||||
* | Revert "Make SubExpr generic in the variable labels type" | Nadrieril | 2019-05-04 | 4 | -218/+187 |
| | | | | This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef. | ||||
* | Revert "Recover arrow type detection" | Nadrieril | 2019-05-04 | 2 | -47/+19 |
| | | | | This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2. | ||||
* | Recover arrow type detection | Nadrieril | 2019-05-04 | 2 | -19/+47 |
| | |||||
* | Make SubExpr generic in the variable labels type | Nadrieril | 2019-05-04 | 4 | -187/+218 |
| | |||||
* | Thread Spans through the AST | Nadrieril | 2019-05-04 | 3 | -127/+139 |
| | |||||
* | Move `Note`s into the spine of the AST | Nadrieril | 2019-05-04 | 4 | -235/+80 |
| | |||||
* | Remove dummy lifetimes | Nadrieril | 2019-05-04 | 1 | -58/+55 |
| | |||||
* | Replace pest::Span with a custom non-borrowing implementation | Nadrieril | 2019-05-04 | 1 | -25/+50 |
| | |||||
* | Rename dhall_core to dhall_syntax | Nadrieril | 2019-05-04 | 10 | -0/+3050 |