Improve error message on illegal equating

[GoogleCodeExporter]

Sometimes I get this error message

**** Near line: 318 column: 1
The supposedly polymorphic type variable: _d
arising from the pattern: Print, from line: 318 column: 1,
is forced by context to be
  _e

 File Cat.omg loaded.

It would be very helpful to also point out where the type _e is coming from.

Original issue reported on code.google.com by ggr...@gmail.com on 9 Jul 2007 at 11:06

[GoogleCodeExporter]

See error message in issue 73! This problem seems to be fixed.

Original comment by ggr...@gmail.com on 31 Dec 2010 at 12:26

• Changed state: Fixed

[GoogleCodeExporter]

gabor@google7:~/omega/src$ cat i18.prg 
idi :: a -> b
idi a = a

gabor@google7:~/omega/src$ ./omega.exe i18.prg 
Omega Interpreter: version 1.4.7pre
Build Date: unspecified

Type ':?' for command line help.
Loading source files = ["i18.prg"]
->Loading import i18.prg

**** Near File: i18.prg
line: 2 column: 1
The supposedly polymorphic type variable: _c,
is forced by context to be: _d
The var _c arose from the prototype: idi::_c -> _d
where types have kinds:
   _c:*0
   _d:*0
The var _d arose from the prototype: idi::_c -> _d
where types have kinds:
   _c:*0
   _d:*0
near File: i18.prg
line: 2 column: 1
 (Rigid 974:(Star 0)) =/= (Rigid 975:(Star 0))

Original comment by ggr...@gmail.com on 31 Dec 2010 at 10:24