Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-08-16 | Use `!` type instead of custom empty type | Nadrieril | 1 | -3/+3 | |
2019-08-15 | rustfmt | Nadrieril | 1 | -2/+1 | |
2019-08-15 | Disable some unused unstable features | Nadrieril | 5 | -11/+4 | |
2019-08-15 | Fix variable substitution | Nadrieril | 1 | -4/+2 | |
I have no idea how this didn't get caught before | |||||
2019-08-15 | Custom Debug impls to improve debug legibility | Nadrieril | 2 | -3/+37 | |
2019-08-15 | Remove special closures from Value | Nadrieril | 3 | -136/+62 | |
Instead construct their values directly | |||||
2019-08-15 | Fix bug in shifting contexts | Nadrieril | 1 | -1/+10 | |
2019-08-14 | Fix typo in normalization | Nadrieril | 1 | -1/+1 | |
2019-08-13 | Implement inline headers parsing | Nadrieril | 3 | -39/+27 | |
2019-08-13 | Implement Hash for ParsedSubExpr | Nadrieril | 2 | -23/+34 | |
2019-08-13 | Store Imports in their own node instead of in Embed | Nadrieril | 4 | -13/+25 | |
2019-08-13 | Considerably simplify Embed handling | Nadrieril | 4 | -10/+4 | |
2019-08-13 | Stop tracking the absence of Embed values at the type level | Nadrieril | 5 | -30/+28 | |
2019-08-13 | No need to track the absence of `Span`s at the type level | Nadrieril | 4 | -39/+36 | |
2019-08-13 | Typos | Nadrieril | 1 | -2/+2 | |
2019-08-13 | s/TypeThunk/TypedThunk/g | Nadrieril | 5 | -86/+96 | |
2019-08-13 | Swap Typed and TypeThunk | Nadrieril | 2 | -91/+129 | |
2019-08-13 | Add new error type for serde_dhall | Nadrieril | 1 | -12/+0 | |
2019-08-13 | Move api into its own crate | Nadrieril | 6 | -436/+16 | |
2019-08-12 | Remove ensure_... macros in typecheck | Nadrieril | 1 | -115/+89 | |
They weren't worth it | |||||
2019-08-10 | Remove dhall::expr!() macro | Nadrieril | 5 | -42/+126 | |
It's a lot of hassle for not a lot of benefit | |||||
2019-08-10 | Update dhall-lang submodule | Nadrieril | 1 | -0/+13 | |
2019-08-08 | Update dhall-lang submodule | Nadrieril | 1 | -0/+1 | |
2019-08-08 | Add support for dependent types | Nadrieril | 7 | -26/+83 | |
2019-08-07 | Update dhall-lang submodule | Nadrieril | 1 | -0/+3 | |
2019-08-07 | Flatten nested let bindings | Nadrieril | 1 | -6/+40 | |
2019-08-07 | Remove an annoying redundancy in the test harness | Nadrieril | 2 | -15/+3 | |
2019-08-07 | Add binary-decode tests | Nadrieril | 2 | -1/+53 | |
2019-08-07 | Add truncated Natural subtraction | Nadrieril | 2 | -0/+11 | |
2019-08-07 | Remove union literals from the language | Nadrieril | 4 | -37/+6 | |
2019-08-07 | Various parsing tweaks | Nadrieril | 1 | -3/+3 | |
2019-08-07 | Forbid surrogate pairs and non-characters | Nadrieril | 1 | -0/+2 | |
2019-08-06 | Generalize empty list annotations | Nadrieril | 1 | -2/+6 | |
2019-08-06 | Prepare for https://github.com/dhall-lang/dhall-lang/pull/630 | Nadrieril | 4 | -45/+71 | |
2019-08-06 | rustfmt | Nadrieril | 1 | -1/+2 | |
2019-08-06 | Auto-generate typechecking tests list | Nadrieril | 1 | -395/+0 | |
2019-08-06 | Change some tests | Nadrieril | 1 | -0/+5 | |
2019-08-06 | RFC3986 URLs | Nadrieril | 1 | -1/+7 | |
2019-08-06 | Add some tests | Nadrieril | 1 | -0/+10 | |
2019-08-06 | Add some new tests and implement import alternatives | Nadrieril | 3 | -4/+4 | |
2019-08-06 | rustfmt | Nadrieril | 1 | -7/+10 | |
2019-08-06 | Update dhall-lang submodule | Nadrieril | 1 | -0/+2 | |
2019-08-06 | Remove old-style optional literals | Nadrieril | 3 | -37/+16 | |
2019-08-06 | Inline headers | Nadrieril | 3 | -15/+21 | |
2019-08-03 | rustfmt | Nadrieril | 2 | -26/+64 | |
2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -12/+12 | |
2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -2/+2 | |
2019-08-03 | Simplify Const checking logic | FintanH | 1 | -11/+7 | |
2019-08-01 | Add typechecking for RecursiveRecordTypeMerge. | FintanH | 3 | -7/+120 | |
The implementation brings with it intersection_with_key over HashMaps to help with the type checking of records of records. The implementation first checks that the Const values line up with the LHS and RHS. Then checks that combining the records does not result in a FieldCollision. It will finally return the shared Const type of the arguments. | |||||
2019-08-01 | Mark RecursiveRecordMerge as unreachable | FintanH | 1 | -0/+1 | |