rest-rewrite-0.2.0: test/StrictOC.hs

{-# LANGUAGE OverloadedStrings #-}
module StrictOC where

import Data.Maybe

import Language.REST.WQOConstraints.Strict
import Language.REST.Internal.WQO
import Language.REST.Internal.OpOrdering

tests :: [(String, Bool)]
tests =
  [
    ("permits", permits noConstraints wqo)
  , ("permits2", permits noConstraints $ fromJust $ parseOO "+ = f = nil = s ∧ + > g ∧ + > h ∧ cons > + ∧ cons > g")
  ] where
  Just wqo = mergeAll [ ("cons" =. "z")
                      , ("g" =. "nil")
                      , ("h" =. "s")
                      , ("cons" >. "g")
                      , ("cons" >. "h")
                      , ("h" >. "f")
                      , ("h" >. "g")
                      ]