diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-02-12 10:04:22 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-12 10:04:22 +0100 |
commit | e18d166b39cdc8c6672b626b4b840c1c383a9685 (patch) | |
tree | 43aa1526b9980fdf9f6fc8cbd5a6027b9e82970c /hypsrc-test/src/Polymorphism.hs | |
parent | 57a5dcfd3d2a7e01229a2c3a79b1f99cd95d5de1 (diff) | |
parent | 6a6029f1fc7b2cfeea8e231c8806d293d6644004 (diff) |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'hypsrc-test/src/Polymorphism.hs')
-rw-r--r-- | hypsrc-test/src/Polymorphism.hs | 8 |
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 |