Commit dcd28f1

committed

Draft: Spruce up T150 test case a bit

Now that `singletons-th` can generate SingKind instances for certain GADTs, let's demonstrate this capability by putting it to use in the `T150` test case.

1 parent 6a4c76b commit dcd28f1Copy full SHA for dcd28f1

2 files changed

singletons-base/tests/compile-and-dump/Singletons
- T150.golden
- T150.hs

Comments

(0)

File tree

0 commit comments