Commit 109f8bf6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Adjust seldom-run tests for flag changes

parent 579c91bc
{-# LANGUAGE ImplicitParams #-}
{-# LANGUAGE ImplicitParams, RankNTypes #-}
module Main where
......
......@@ -6,9 +6,12 @@ module Main where
f1 :: forall m a b. (a `m` b) -> ((a `m` b) -> a) -> a
f1 x g = g x
-- Infix type operator
f2 :: forall a b (-->). (a --> b) -> ((a --> b) -> b) -> b
f2 x g = g x
-- Infix type operator.. Commented out because we no longer
-- infix operators to be variables; they are type constructors
-- f2 :: forall a b (-->). (a --> b) -> ((a --> b) -> b) -> b
-- f2 x g = g x
main = do { print (f1 (3,5) fst); print (f2 (3,5) snd) }
main = do { print (f1 (3,5) fst)
-- ; print (f2 (3,5) snd)
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment