diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 15:40:44 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 15:40:44 +0100 |
| commit | 228a0d72baa04be161b0fc918266f2edb0c6519b (patch) | |
| tree | 43246f722a0f28614019243e34dfd83e5ca29217 /hypsrc-test/src | |
| parent | 8a4c949bfc731ef0dcd83d557da278d162152fb5 (diff) | |
| parent | a427f597e081ce37a881e6612efeab7ef0bb0dac (diff) | |
Merge branch 'fix-up-testsuite'
Diffstat (limited to 'hypsrc-test/src')
| -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 |