git.iko.soy/project-m36
on b5477e2 help sign in
project-m36/RelationalError.hs
19 lines 794 B history raw
1module RelationalError where
2import qualified Control.Monad.Error as Err
3import RelationType
5data RelationalError = NoSuchAttributeNameError String
6 | TupleAttributeCountMismatchError Int
7 | TupleAttributeTypeMismatchError Int
8 | AttributeCountMismatchError Int
9 | AttributeNameMismatchError String
10 | AttributeNameInUseError AttributeName
11 | AttributeIsNotRelationValuedError AttributeName
12 | RelvarNotDefinedError String
13 | RelvarAlreadyDefined String
14 | RelvarAssignmentTypeMismatch
15 | ParseError String
16 deriving (Show,Eq)
18instance Err.Error RelationalError where