bug?

18 Apr 2001


      -- Hugs Version February 2001.
-- dummy1 and dummy2 behave differently when evaluated on the command
line.
-- So, a type synonym and its definition are not completely
interchangeable.

import IO

type IOString = IO String

dummy1 :: IOString  ; dummy1 = return "Dummy"
dummy2 :: IO String ; dummy2 = return "Dummy"


-- 
Maarten Fokkinga                                                     
University of Twente (fac INF), PO Box 217, 7500 AE Enschede, NL
http://www.cs.utwente.nl/~fokkinga/        phone: +31 53 4893711
mailto:fokkinga@cs.utwente.nl              fax:   +31 53 4892927