`[all packages] [package ] [class hierarchy] [index]`

# public class TypeError

(source file: TypeError.java)

    java.lang.Object
       |
       +----java.lang.Throwable
               |
               +----java.lang.Exception
                       |
                       +----TypeError

The pure class interface.

    public class TypeError
      extends Exception

  An exception which indicates a type error. This is raised when sugared syntax is typechecked and desugared.

  Author:
    Alan Jeffrey
  Version: v1.0 1998/06/10

##

TypeError(String)

##

unknownVar

##

TypeError

    public TypeError(String explanation);

##

unknownVar

    public static final TypeError unknownVar;

`[all packages] [package ] [class hierarchy] [index]`

###### TypeError.html