aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/src/Polymorphism.hs
diff options
context:
space:
mode:
Diffstat (limited to 'hypsrc-test/src/Polymorphism.hs')
-rw-r--r--hypsrc-test/src/Polymorphism.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/hypsrc-test/src/Polymorphism.hs b/hypsrc-test/src/Polymorphism.hs
index a74ac492..3f0103bf 100644
--- a/hypsrc-test/src/Polymorphism.hs
+++ b/hypsrc-test/src/Polymorphism.hs
@@ -24,10 +24,10 @@ baz' :: forall a b. a -> (a -> [a -> a] -> b) -> b
baz' = undefined
quux :: a -> (forall a. a -> a) -> a
-quux = undefined
+quux x f = f x
quux' :: forall a. a -> (forall a. a -> a) -> a
-quux' = undefined
+quux' x f = f x
num :: Num a => a -> a -> a
@@ -50,10 +50,10 @@ mon' = undefined
norf :: a -> (forall a. Ord a => a -> a) -> a
-norf = undefined
+norf x f = x
norf' :: forall a. a -> (forall a. Ord a => a -> a) -> a
-norf' = undefined
+norf' x f = x
plugh :: forall a. a -> a