License	MIT
Safe Haskell	None
Language	GHC2021

Language.Egison.Type.Error

Description

This module defines type errors for the Egison type system.

Synopsis

data TypeError
data TypeErrorContext = TypeErrorContext {
- errorLocation :: Maybe SourceLocation
- errorExpr :: Maybe String
- errorContext :: Maybe String
}
data TypeWarning
data SourceLocation = SourceLocation {
- srcFile :: Maybe FilePath
- srcLine :: Maybe Int
- srcColumn :: Maybe Int
}
formatTypeError :: TypeError -> String
formatTypeWarning :: TypeWarning -> String
emptyContext :: TypeErrorContext
withLocation :: SourceLocation -> TypeErrorContext -> TypeErrorContext
withExpr :: String -> TypeErrorContext -> TypeErrorContext
withContext :: String -> TypeErrorContext -> TypeErrorContext

Documentation

data TypeError Source #

Type errors

Constructors

UnificationError Type Type TypeErrorContext	Two types could not be unified
OccursCheckError TyVar Type TypeErrorContext	Infinite type detected (e.g., a = [a])
UnboundVariable String TypeErrorContext	Variable not found in type environment
TypeMismatch Type Type String TypeErrorContext	Types don't match with explanation
TensorShapeMismatch TensorShape TensorShape TypeErrorContext	Tensor shapes are incompatible
TensorIndexMismatch IndexSpec IndexSpec TypeErrorContext	Tensor indices are incompatible
ArityMismatch Int Int TypeErrorContext	Wrong number of arguments
NotAFunction Type TypeErrorContext	Tried to apply a non-function
NotATensor Type TypeErrorContext	Expected a tensor type
AmbiguousType TyVar TypeErrorContext	Could not infer a concrete type
TypeAnnotationMismatch Type Type TypeErrorContext	Inferred type doesn't match annotation
UnsupportedFeature String TypeErrorContext	Feature not yet implemented

Instances

Instances details

Generic TypeError Source #

Instance details

Defined in Language.Egison.Type.Error

Associated Types

type Rep TypeError

Instance details

Defined in Language.Egison.Type.Error

Methods

from :: TypeError -> Rep TypeError x #

to :: Rep TypeError x -> TypeError #

Show TypeError Source #

Instance details

Defined in Language.Egison.Type.Error

Methods

showsPrec :: Int -> TypeError -> ShowS #

show :: TypeError -> String #

showList :: [TypeError] -> ShowS #

Eq TypeError Source #

Instance details

Defined in Language.Egison.Type.Error

Methods

(==) :: TypeError -> TypeError -> Bool #

(/=) :: TypeError -> TypeError -> Bool #

type Rep TypeError Source #

Instance details

Defined in Language.Egison.Type.Error

data TypeErrorContext Source #

Context information for where a type error occurred

Constructors

TypeErrorContext
Fields errorLocation :: Maybe SourceLocation Precise source location errorExpr :: Maybe String Expression that caused the error errorContext :: Maybe String Additional context (e.g., "in function application")

Instances

Instances details

Generic TypeErrorContext Source #

Instance details

Defined in Language.Egison.Type.Error

Associated Types

type Rep TypeErrorContext

Instance details

Defined in Language.Egison.Type.Error

type Rep TypeErrorContext = D1 ('MetaData "TypeErrorContext" "Language.Egison.Type.Error" "egison-5.0.0-IKLJXBVxR779jp4wYu1Icq" 'False) (C1 ('MetaCons "TypeErrorContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "errorLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceLocation)) :*: (S1 ('MetaSel ('Just "errorExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "errorContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

Methods

from :: TypeErrorContext -> Rep TypeErrorContext x #

to :: Rep TypeErrorContext x -> TypeErrorContext #

Show TypeErrorContext Source #

Instance details

Defined in Language.Egison.Type.Error

Methods

showsPrec :: Int -> TypeErrorContext -> ShowS #

show :: TypeErrorContext -> String #

showList :: [TypeErrorContext] -> ShowS #

Eq TypeErrorContext Source #

Instance details

Defined in Language.Egison.Type.Error

Methods

(==) :: TypeErrorContext -> TypeErrorContext -> Bool #

(/=) :: TypeErrorContext -> TypeErrorContext -> Bool #

type Rep TypeErrorContext Source #

Instance details

Defined in Language.Egison.Type.Error

type Rep TypeErrorContext = D1 ('MetaData "TypeErrorContext" "Language.Egison.Type.Error" "egison-5.0.0-IKLJXBVxR779jp4wYu1Icq" 'False) (C1 ('MetaCons "TypeErrorContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "errorLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceLocation)) :*: (S1 ('MetaSel ('Just "errorExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "errorContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

data TypeWarning Source #

Type warnings (non-fatal issues)

Constructors

UnboundVariableWarning String TypeErrorContext	Variable not in type environment (treated as Any in permissive mode)
AnyTypeWarning String TypeErrorContext	Expression has `Any` type
PartiallyTypedWarning String Type TypeErrorContext	Expression is only partially typed
UnsupportedExpressionWarning String TypeErrorContext	Expression type cannot be inferred (treated as Any)
DeprecatedFeatureWarning String TypeErrorContext	Feature is deprecated

Instances

Instances details

Generic TypeWarning Source #

Instance details

Defined in Language.Egison.Type.Error

Associated Types

type Rep TypeWarning

Instance details

Defined in Language.Egison.Type.Error

Methods

from :: TypeWarning -> Rep TypeWarning x #

to :: Rep TypeWarning x -> TypeWarning #

Show TypeWarning Source #

Instance details

Defined in Language.Egison.Type.Error

Methods

showsPrec :: Int -> TypeWarning -> ShowS #

show :: TypeWarning -> String #

showList :: [TypeWarning] -> ShowS #

Eq TypeWarning Source #

Instance details

Defined in Language.Egison.Type.Error

Methods

(==) :: TypeWarning -> TypeWarning -> Bool #

(/=) :: TypeWarning -> TypeWarning -> Bool #

type Rep TypeWarning Source #

Instance details

Defined in Language.Egison.Type.Error

data SourceLocation Source #

Source location information

Constructors

SourceLocation
Fields srcFile :: Maybe FilePath Source file path srcLine :: Maybe Int Line number (1-based) srcColumn :: Maybe Int Column number (1-based)