diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 14:37:49 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 15:36:08 +0100 |
| commit | a427f597e081ce37a881e6612efeab7ef0bb0dac (patch) | |
| tree | 43246f722a0f28614019243e34dfd83e5ca29217 /hypsrc-test/src/Polymorphism.hs | |
| parent | 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff) | |
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
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 |