| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add typechecking for RecursiveRecordTypeMerge. | FintanH | 2019-08-01 | 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. | ||||
| * | Finish implementing binary encoding | Nadrieril | 2019-05-12 | 2 | -8/+11 |
| | | |||||
| * | clippy | Nadrieril | 2019-05-12 | 6 | -126/+118 |
| | | |||||
| * | Split-off printer and binary encoding tests from parser tests | Nadrieril | 2019-05-12 | 2 | -37/+85 |
| | | |||||
| * | Include success or failure prefix in test filtering | Nadrieril | 2019-05-12 | 4 | -24/+18 |
| | | |||||
| * | Implement binary encoding | Nadrieril | 2019-05-12 | 8 | -32/+359 |
| | | | | | Closes #39 | ||||
| * | Write a custom map type that allows duplicates | Nadrieril | 2019-05-10 | 1 | -29/+38 |
| | | |||||
| * | Merge Type and Typed | Nadrieril | 2019-05-09 | 3 | -105/+55 |
| | | |||||
| * | Fix missing methods for tests | Nadrieril | 2019-05-09 | 1 | -0/+8 |
| | | |||||
| * | Make visibilities more consistent | Nadrieril | 2019-05-09 | 10 | -125/+106 |
| | | |||||
| * | Rewrite Deserialize trait around new Value and Type | Nadrieril | 2019-05-09 | 7 | -88/+73 |
| | | |||||
| * | Rewrite the StaticType trait and everything around it | Nadrieril | 2019-05-09 | 9 | -276/+223 |
| | | |||||
| * | Tweak Typed | Nadrieril | 2019-05-09 | 1 | -15/+16 |
| | | |||||
| * | Reduce the distance between Type and Typed | Nadrieril | 2019-05-09 | 3 | -157/+108 |
| | | |||||
| * | Remove TypeIntermediate in favor of special-purpose functions | Nadrieril | 2019-05-09 | 1 | -214/+183 |
| | | |||||
| * | Small utility SubExpr::from_builtin | Nadrieril | 2019-05-09 | 1 | -9/+3 |
| | | |||||
| * | ExprF need not be generic in Label | Nadrieril | 2019-05-09 | 4 | -15/+9 |
| | | |||||
| * | Make shift fallible and improve shift ergonomics | Nadrieril | 2019-05-09 | 8 | -129/+169 |
| | | |||||
| * | Detect duplicate record fields in typecheck | Nadrieril | 2019-05-09 | 5 | -77/+79 |
| | | |||||
| * | Generate normalization tests automatically | Nadrieril | 2019-05-09 | 4 | -393/+84 |
| | | |||||
| * | Correctly shift free variables in normalization | Nadrieril | 2019-05-09 | 2 | -11/+11 |
| | | |||||
| * | Update dhall-lang submodule | Nadrieril | 2019-05-09 | 2 | -15/+37 |
| | | |||||
| * | Typecheck record projection | Nadrieril | 2019-05-08 | 2 | -7/+32 |
| | | |||||
| * | Typecheck merge | Nadrieril | 2019-05-08 | 3 | -12/+97 |
| | | |||||
| * | Move binop normalization into a separate function | Nadrieril | 2019-05-08 | 1 | -165/+153 |
| | | |||||
| * | Implement normalization for record merging operators | Nadrieril | 2019-05-08 | 3 | -21/+120 |
| | | |||||
| * | Rename the record combining operators internally | Nadrieril | 2019-05-08 | 1 | -3/+3 |
| | | |||||
| * | Implement normalization of missing builtins | Nadrieril | 2019-05-08 | 2 | -23/+75 |
| | | |||||
| * | Fix Context shifting | Nadrieril | 2019-05-08 | 1 | -15/+24 |
| | | |||||
| * | shift on lookup instead of on insert | Nadrieril | 2019-05-08 | 2 | -27/+71 |
| | | |||||
| * | Replace hashmap-based context with a vec-based one | Nadrieril | 2019-05-07 | 1 | -14/+37 |
| | | |||||
| * | Don't discard normalization work done by typechecking | Nadrieril | 2019-05-07 | 3 | -83/+147 |
| | | |||||
| * | Slight improvement to typecheck ergonomics | Nadrieril | 2019-05-07 | 1 | -59/+28 |
| | | |||||
| * | Unify typecheck and normalization contexts | Nadrieril | 2019-05-07 | 5 | -76/+115 |
| | | |||||
| * | Promote shift and subst_shift to traits | Nadrieril | 2019-05-07 | 7 | -115/+161 |
| | | |||||
| * | Move AlphaVar and AlphaLabel into a new module | Nadrieril | 2019-05-07 | 6 | -106/+112 |
| | | |||||
| * | Small mistake | Nadrieril | 2019-05-07 | 2 | -2/+4 |
| | | |||||
| * | Document Value and Thunk | Nadrieril | 2019-05-07 | 2 | -8/+21 |
| | | |||||
| * | Clean up some of the SubExpr type-changing methods | Nadrieril | 2019-05-07 | 3 | -6/+6 |
| | | |||||
| * | Unify Type, TypeInternal and Typed | Nadrieril | 2019-05-07 | 3 | -117/+43 |
| | | |||||
| * | Fix derive | Nadrieril | 2019-05-07 | 2 | -1/+3 |
| | | |||||
| * | Move main datatypes into their own modules | Nadrieril | 2019-05-06 | 10 | -1199/+1217 |
| | | |||||
| * | Move api-related modules into an api module | Nadrieril | 2019-05-06 | 7 | -38/+41 |
| | | |||||
| * | Consolidate errors in the error module | Nadrieril | 2019-05-06 | 42 | -188/+196 |
| | | |||||
| * | Reorganize dhall into a phase structure | Nadrieril | 2019-05-06 | 15 | -477/+499 |
| | | |||||
| * | Merge TypedInternal and Typed | Nadrieril | 2019-05-06 | 4 | -75/+34 |
| | | |||||
| * | Remove main | Nadrieril | 2019-05-05 | 1 | -93/+0 |
| | | |||||
| * | s/DoubleVar/AlphaVar/ | Nadrieril | 2019-05-05 | 3 | -44/+44 |
| | | |||||
| * | Implement normalization simplifications | Nadrieril | 2019-05-05 | 1 | -10/+15 |
| | | |||||
| * | Preserve text WHNF on concatenation | Nadrieril | 2019-05-05 | 1 | -9/+9 |
| | | |||||
 |
index : dhall_rust | |
| working copy forked from https://github.com/Nadrieril/dhall-rust |
| summaryrefslogtreecommitdiff |