seminal-haskell-0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Seminal.Compiler.TypeChecker

Description

Provide a way to access Compiler/Typechecker as a black box, | according to Seminal's algorithm

Synopsis

Documentation

data TypeCheckStatus Source #

Defines the possible outcomes of the typechecking process of the compiler

Constructors

Success

Indicated the Code typechecks

Error ErrorType

An error happened while typechecking

Instances

Instances details
Show TypeCheckStatus Source # 
Instance details

Defined in Seminal.Compiler.TypeChecker

Methods

showsPrec :: Int -> TypeCheckStatus -> ShowS #

show :: TypeCheckStatus -> String #

showList :: [TypeCheckStatus] -> ShowS #

Eq TypeCheckStatus Source # 
Instance details

Defined in Seminal.Compiler.TypeChecker

Methods

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

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

data ErrorType Source #

Constructors

TypeCheckError String

Indicates an error occured while typechecking

ScopeError String

A type or variable could not be resolved | It comes with the compiler's error message

Instances

Instances details
Show ErrorType Source #

Pretty-print of Error types

Instance details

Defined in Seminal.Compiler.TypeChecker

Methods

showsPrec :: Int -> ErrorType -> ShowS #

show :: ErrorType -> String #

showList :: [ErrorType] -> ShowS #

Eq ErrorType Source # 
Instance details

Defined in Seminal.Compiler.TypeChecker

Methods

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

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

isScopeError :: ErrorType -> Bool Source #

isTypecheckError :: ErrorType -> Bool Source #

getTypeCheckError :: TypeCheckStatus -> Maybe ErrorType Source #

typecheckModule :: ParsedModule -> Ghc TypeCheckStatus Source #

Typecheck Module