Commas.test

# Copyright (c) 2025 Andrew Farmer
# Copyright (c) 2020-2024 Facebook, Inc. and its affiliates.
#
# This source code is licensed under the MIT license found in the
# LICENSE file in the root directory of this source tree.
#
-u Commas.foo
--adhoc "forall a b. f [a, b] = g [a, b]"
--adhoc "forall a b. h [a, b] = k a b"
--type-backward Commas.Pair
===
 module Commas where
 
 import Debug.Trace
 
 main :: IO ()
-main = print [(foo), pred foo, foo]
+main = print [succ 4, pred (succ 4), succ 4]
 
 foo :: Int
 foo = succ 4

 test2 :: IO ()
-test2 = print (f [succ 1, 2])
+test2 = print (g [succ 1, 2])
 
 test3 :: IO ()
-test3 = print (h [succ 1, 2])
+test3 = print (k (succ 1) 2)

 type Pair a = (a, a)

-test4 :: (Maybe Int, Maybe Int)
+test4 :: Pair (Maybe Int)
 test4 = (Nothing, Nothing)

 test5 :: IO ()
-test5 = print (h [succ 1 {- t -}, 2])
+test5 = print (k (succ 1) 2)

 test6 :: IO ()
-test6 = print (h [ succ 1
-                 , 2 ])
+test6 = print (k (succ 1) 2)