rest-rewrite-0.4.1: test/OpOrdering.hs

{-# LANGUAGE OverloadedStrings #-}

module OpOrdering where

import Language.REST.Internal.OpOrdering
import Language.REST.Internal.WQO
import Data.Maybe as Mb

tests :: [(String, Bool)]
tests = [
  ("parse",
     fromJust (
      parseOO "cons = z ∧ g = nil ∧ h = s ∧ cons > g ∧ cons > h ∧ h > f ∧ h > g"
     ) == wqo)
  ,("minimal",
    fromJust (
      parseOO "f > + ^ g > z ^ + = cons ^ cons > z ^ f = g"
    ) ==
    fromJust (
      parseOO "f > + ^ + = cons ^ cons > z ^ f = g"
    )
  ) ]
        where

        Just wqo = mergeAll [ "cons" =. "z"
                , "g" =. "nil"
                , "h" =. "s"
                , "cons" >. "g"
                , "cons" >. "h"
                , "h" >. "f"
                , "h" >. "g"
                ]