----------------------------------------------------------------
-- Testing type checking.
-- This group of checks will produce about 7 lines of output of the form
-- 
-- --!!! <description of feature being tested>
-- 
-- It may also produce output that looks like this:
-- 
--   ./hugs +q -pHugs:  test/dicts.hs < test/dicts.input
--   expected stdout not matched by reality
--   *** test/dicts.output  Fri Jul 11 13:25:27 1997
--   --- /tmp/runtest3584.3  Fri Jul 11 15:55:13 1997
--   ***************
--   *** 1,3 ****
--     Hugs:\"(14,14,14)\"
--   ! Hugs:Garbage collection recovered 93815 cells
--     Hugs:\"(14,14,14)\"
--   --- 1,3 ----
--     Hugs:\"(14,14,14)\"
--   ! Hugs:Garbage collection recovered 93781 cells
--     Hugs:\"(14,14,14)\"
-- 
-- This is harmless and might be caused by minor variations between different
-- machines, or slightly out of date sample output.
-- 
-- You should report a problem if any other output is generated.
----------------------------------------------------------------
