Commit 4afef64f authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Type families: test type family with higher kinded parameters

parent 0349d0be
...@@ -2,6 +2,8 @@ ...@@ -2,6 +2,8 @@
module ShouldCompile where module ShouldCompile where
import Data.IORef
data family T a data family T a
data instance T a = T data instance T a = T
...@@ -10,3 +12,6 @@ foo T = T ...@@ -10,3 +12,6 @@ foo T = T
type family S a type family S a
type instance S a = a type instance S a = a
type family SMRef (m:: * -> *) :: * -> *
type instance SMRef IO = IORef
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment