module Micro.Error where

import Data.List (sort)
import Text.Parsec (SourcePos, errorPos)
import Text.Parsec.Error (ParseError, errorMessages, showErrorMessages)

data ErrorType = GenericError | TypeError | UnexpectedReturn | AlreadyDefined | NonCallable | Undefined | UndefinedType | InvalidTarget | InvalidOperation deriving (Show)

instance Enum ErrorType where
  fromEnum GenericError = 0
  fromEnum TypeError = 1
  fromEnum UnexpectedReturn = 2
  fromEnum AlreadyDefined = 3
  fromEnum NonCallable = 4
  fromEnum Undefined = 5
  fromEnum UndefinedType = 6
  fromEnum InvalidTarget = 7
  fromEnum InvalidOperation = 8
  toEnum _ = error "toEnum is undefined for Error"

data Error = Error ErrorType String SourcePos
  deriving (Eq)

instance Show Error where
  show (Error _ message pos) =
    show pos ++ " error: " ++ message

showParserError :: ParseError -> String
showParserError err =
  show (errorPos err) ++ " error: syntax error"
    ++ showErrorMessages "or" "unknown parser error" "  expected:" "     found:" "end of input" (errorMessages err)

instance Ord Error where
  compare (Error _ _ pos1) (Error _ _ pos2) = compare pos1 pos2

instance Eq ErrorType where
  e1 == e2 = fromEnum e1 == fromEnum e2

showErrorList :: [Error] -> String
showErrorList errs = unlines $ map show (sort errs)