Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add 'type family (m :: Symbol) <> (n :: Symbol)' | Oleg Grenrus | 2017-01-20 | 1 | -2/+10 |
| | | | | | | | | | | | Reviewers: dfeuer, austin, bgamari, hvr Subscribers: dfeuer, mpickering, RyanGlScott, ekmett, yav, lelf, simonpj, thomie Differential Revision: https://phabricator.haskell.org/D2632 GHC Trac Issues: #12162 | ||||
* | Fixup basic type-lits test. | Iavor S. Diatchki | 2013-10-03 | 1 | -16/+18 |
| | | | | | | | | | There is still one more test that needs fixing: indexed-types/should_fail T7786 [stderr mismatch] (normal) I need to understand what is going on there, as it appears to be using the `Sing` constructors a bunch. | ||||
* | Add some tests for evaluating type-level naturals. | Iavor S. Diatchki | 2013-09-12 | 1 | -0/+32 |