Nice TWiki > Dev > NiceCompiler > BadErrorMessages (r1.1) TWiki webs:
Dev | Doc | Main | TWiki | Sandbox
Dev . { Changes | Index | Search | Go }
An overview of errormessages that needs improvement.


class A{}
class B extends A{}

interface I<A T>{}
class X<T | A <: T> implements I<T>{}

void foo(I<B>);

foo(@X){}

Type error in method body "foo":
mlsub.typing.TypingEx: Not satisfiable [NO MESSAGE]

-- ArjanB

Topic BadErrorMessages . { Edit | Attach | Ref-By | Printable | Diffs | r1.12 | > | r1.11 | > | r1.10 | More }
Revision r1.1 - 28 Apr 2003 - 22:48 GMT - ArjanB
Parents: WebHome > NiceCompiler
Copyright © 1999-2003 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback.