diff options
| author | John Ericson <git@JohnEricson.me> | 2019-09-01 13:40:40 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-05 18:50:19 -0400 |
| commit | f96d57b800f10ab194897133f3c0d11e4fbc71b4 (patch) | |
| tree | a377cbfbb8b4872d5d8397a08bf5f261e222a254 /testsuite/tests | |
| parent | 11679e5bec1994775072e8e60f24b4ce104af0a7 (diff) | |
| download | haskell-f96d57b800f10ab194897133f3c0d11e4fbc71b4.tar.gz | |
Make the C-- O and C types constructors with DataKinds
The tightens up the kinds a bit. I use type synnonyms to avoid adding
promotion ticks everywhere.
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/cmm/should_run/HooplPostorder.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/cmm/should_run/HooplPostorder.hs b/testsuite/tests/cmm/should_run/HooplPostorder.hs index d7a8bbaef1..269efa4021 100644 --- a/testsuite/tests/cmm/should_run/HooplPostorder.hs +++ b/testsuite/tests/cmm/should_run/HooplPostorder.hs @@ -1,3 +1,5 @@ +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE KindSignatures #-} module Main where import Hoopl.Block @@ -7,7 +9,7 @@ import Hoopl.Label import Data.Maybe -data TestBlock e x = TB { label_ :: Label, successors_ :: [Label] } +data TestBlock (e :: Extensibility) (x :: Extensibility) = TB { label_ :: Label, successors_ :: [Label] } deriving (Eq, Show) instance NonLocal TestBlock where |