Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-07-31 | Add unreachable call for RightBasedRecordMerge case | FintanH | 1 | -0/+1 | |
2019-07-31 | Reuse the merge_maps function to implement the right-biased union | FintanH | 1 | -6/+6 | |
2019-07-31 | Add case for RightBasedRecordMerge in the typechecking phase. | Fintan Halpenny | 1 | -5/+46 | |
The implementation checks the types and kinds of the LHS and RHS. In the happy path it unions the HashMap prefering keys on the RHS over the LHS, and the result is the type of the resulting HashMap. The error cases are: - If the kinds of the records differ it results in a RecordMismatch error. - If either the LHS or RHS are not records it results in a MustCombineRecord error. | |||||
2019-05-12 | clippy | Nadrieril | 1 | -23/+10 | |
2019-05-12 | Include success or failure prefix in test filtering | Nadrieril | 1 | -4/+4 | |
2019-05-12 | Implement binary encoding | Nadrieril | 1 | -1/+1 | |
Closes #39 | |||||
2019-05-09 | Merge Type and Typed | Nadrieril | 1 | -49/+40 | |
2019-05-09 | Make visibilities more consistent | Nadrieril | 1 | -9/+6 | |
2019-05-09 | Rewrite the StaticType trait and everything around it | Nadrieril | 1 | -1/+1 | |
2019-05-09 | Reduce the distance between Type and Typed | Nadrieril | 1 | -87/+78 | |
2019-05-09 | Remove TypeIntermediate in favor of special-purpose functions | Nadrieril | 1 | -214/+183 | |
2019-05-09 | Small utility SubExpr::from_builtin | Nadrieril | 1 | -9/+3 | |
2019-05-09 | ExprF need not be generic in Label | Nadrieril | 1 | -2/+1 | |
2019-05-09 | Make shift fallible and improve shift ergonomics | Nadrieril | 1 | -2/+11 | |
2019-05-09 | Detect duplicate record fields in typecheck | Nadrieril | 1 | -30/+33 | |
2019-05-09 | Update dhall-lang submodule | Nadrieril | 1 | -2/+14 | |
2019-05-08 | Typecheck record projection | Nadrieril | 1 | -7/+30 | |
2019-05-08 | Typecheck merge | Nadrieril | 1 | -12/+87 | |
2019-05-07 | Don't discard normalization work done by typechecking | Nadrieril | 1 | -52/+93 | |
2019-05-07 | Slight improvement to typecheck ergonomics | Nadrieril | 1 | -59/+28 | |
2019-05-07 | Unify typecheck and normalization contexts | Nadrieril | 1 | -2/+2 | |
2019-05-07 | Promote shift and subst_shift to traits | Nadrieril | 1 | -0/+1 | |
2019-05-07 | Clean up some of the SubExpr type-changing methods | Nadrieril | 1 | -3/+3 | |
2019-05-07 | Unify Type, TypeInternal and Typed | Nadrieril | 1 | -21/+7 | |
2019-05-06 | Move main datatypes into their own modules | Nadrieril | 1 | -208/+137 | |
2019-05-06 | Consolidate errors in the error module | Nadrieril | 1 | -103/+11 | |
2019-05-06 | Reorganize dhall into a phase structure | Nadrieril | 1 | -137/+20 | |
2019-05-06 | Merge TypedInternal and Typed | Nadrieril | 1 | -9/+0 | |
2019-05-05 | s/DoubleVar/AlphaVar/ | Nadrieril | 1 | -8/+8 | |
2019-05-05 | Make Value equality be alpha-equivalence | Nadrieril | 1 | -7/+4 | |
Closes #66, #65 | |||||
2019-05-05 | Use alpha-normalization in equivalence checking | Nadrieril | 1 | -80/+2 | |
2019-05-05 | Implement alpha-normalization | Nadrieril | 1 | -9/+11 | |
Closes #12 | |||||
2019-05-04 | Clarify match_vars implementation | Nadrieril | 1 | -12/+12 | |
2019-05-04 | Revert "Make SubExpr generic in the variable labels type" | Nadrieril | 1 | -34/+31 | |
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef. | |||||
2019-05-04 | Make SubExpr generic in the variable labels type | Nadrieril | 1 | -31/+34 | |
2019-05-04 | Keep Spans through normalization and typechecking | Nadrieril | 1 | -25/+29 | |
2019-05-04 | Thread Spans through the AST | Nadrieril | 1 | -1/+1 | |
2019-05-04 | Move `Note`s into the spine of the AST | Nadrieril | 1 | -1/+1 | |
2019-05-04 | Remove dummy lifetimes | Nadrieril | 1 | -93/+74 | |
2019-05-04 | rustfmt | Nadrieril | 1 | -1/+1 | |
2019-05-04 | Rename dhall_generator to dhall_proc_macros | Nadrieril | 1 | -1/+1 | |
2019-05-04 | Rename dhall_core to dhall_syntax | Nadrieril | 1 | -14/+14 | |
2019-05-03 | Remove some deprecated functions | Nadrieril | 1 | -1/+1 | |
2019-05-03 | Avoid unnecessary RefCell::borrow_mut | Nadrieril | 1 | -14/+4 | |
2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -0/+1 | |
2019-05-02 | Typecheck text interpolation | Nadrieril | 1 | -3/+16 | |
2019-05-02 | Typecheck missing builtin cases | Nadrieril | 1 | -29/+47 | |
2019-05-02 | Remove shift0 | Nadrieril | 1 | -14/+5 | |
2019-05-02 | Instead of possibly nonexistent Type, treat Sort specially | Nadrieril | 1 | -156/+117 | |
2019-05-02 | Store Thunk in Normalized | Nadrieril | 1 | -21/+5 | |