lcp [Wed, 15 Mar 1995 10:56:39 +0100] rev 955
Declares the function exit_use to behave like use but fail if
errors are detected. It can be used in all Makefiles except Pure, which will
write the exception handler explicitly ("exit" will have been declared
already).
lcp [Wed, 15 Mar 1995 10:53:58 +0100] rev 954
Now the "use" call has an exception handler, for prompt failure
if errors are detected.
lcp [Wed, 15 Mar 1995 10:34:47 +0100] rev 953
Now calls exit_use instead of use, for prompt failure if errors are detected.
nipkow [Tue, 14 Mar 1995 10:40:04 +0100] rev 952
Removed an old bug which made some simultaneous instantiations fail if they
were given in the "wrong" order.
Rewrote sign/infer_types.
Fixed some comments.
nipkow [Tue, 14 Mar 1995 09:47:28 +0100] rev 951
added exit 1
nipkow [Mon, 13 Mar 1995 09:42:50 +0100] rev 950
Removed superfluous type constraint
nipkow [Mon, 13 Mar 1995 09:38:10 +0100] rev 949
Changed treatment of during type inference internally generated type
variables.
1. They are renamed to 'a, 'b, 'c etc away from a given set of used names.
2. They are either frozen (turned into TFrees) or left schematic (TVars)
depending on a parameter. In goals they are frozen, for instantiations they
are left schematic.