Commit 2fe4a954 authored by simonpj's avatar simonpj
Browse files

[project @ 2004-11-09 13:24:16 by simonpj]

A multi-module tycon fixity test
parent 9106bfc2
{-# OPTIONS -fglasgow-exts #-}
module A where
type a :+ b = (a,b)
infixr 1 :+
{-# OPTIONS -fglasgow-exts #-}
module B where
import A
a :: Int :+ Float :+ Double
a = undefined
b :: Int
b = case a of (p,q) -> p
test('typecheck.prog002', normal, multimod_compile, ['B', '-v0'])
clean(['A.hi', 'A.o', 'B.hi', 'B.o'])
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