hindley-milner-0.1.0.0: Template for Hindley-Milner based languages

Safe HaskellSafe
LanguageHaskell2010

Language.HM.TypeError

Description

This module contains types for structured type errors.

Synopsis

Documentation

data TypeError Source

Type errors.

Constructors

OccursErr String Tau 
UnifyErr Tau Tau 
NotInScopeErr String 

Instances