testsuite/tests/stranal/should_run/T14285.hs


1
2
3
4
5
6
7
8
9

module Main where

import T14285a
import Prelude hiding (null)

main :: IO ()
main = do
  let args = "hw"
  print $ null $ pre_images 'a' (Rel (fromList [('a',sfromList args)]) (fromList [('b',sfromList args)]))