Commit d5ea9996 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-05-27 15:23:28 by simonpj]

Add infix tycon test
parent 904de13f
......@@ -157,3 +157,4 @@ test "tc152" { myvtc("") }
test "tc153" { myvtc("") }
test "tc154" { myvtc("") }
test "tc155" { myvtc("") }
test "tc156" { myvtc("") }
{-# -fglasgow-exts #-}
-- Test infix type constructors
module ShouldCompile where
infixl 4 :*:
infixl 3 :+:
data a :*: b = a :*: b
data a :+: b = a :+: b
data T a b = T (a `b` Int)
type Foo a b = a `T` b
f :: Int :*: Bool :+: Char
f = (3 :*: True) :+: 'c'
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