-- 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