1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/concurrent/prog003/RefInterface.hs b/testsuite/tests/concurrent/prog003/RefInterface.hs
new file mode 100644
index 0000000000..95ecbcdb49
--- /dev/null
+++ b/testsuite/tests/concurrent/prog003/RefInterface.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
+
+module RefInterface where
+
+
+import Control.Monad
+
+
+
+class Monad m => Ref r m | m -> r, r -> m where
+   newRef :: a -> m (r a)
+   readRef :: (r a) -> m a
+   writeRef :: (r a) -> a -> m ()
+   atomicRef :: m a -> IO a
+   retryRef :: m a