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