content: -- This file is generated by the Haskell debugger Hoed
  import Properties
  import qualified Debug.Hoed.Pure as Hoed
  import System.Random
  import Data.Maybe
  import Test.QuickCheck
  import XMonad.StackSet
  import Test.QuickCheck
  import qualified Data.Map as M
  import System.Random
  import Data.Maybe
  main = Hoed.runOstore "prop_greedyView_local" $ do g <- newStdGen; print . fromJust . ok . (generate 1 g) . evaluate $ prop_greedyView_local  ((\r x1 x2 -> Hoed.constrain (greedyView x1 x2) r)  {- generateRes -} (StackSet  (Screen  (Workspace  (NonNegative  ((0)) )   ((0))   (Nothing) )   ((5))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((0)) )  (error "Request of value that was unevaluated in original program (underscore 1 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 2 in computation statement)."))   ((1))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((2)) )  (error "Request of value that was unevaluated in original program (underscore 3 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 4 in computation statement)."))   ((2))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((3)) )  (error "Request of value that was unevaluated in original program (underscore 5 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 6 in computation statement)."))   ((3))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((4)) )  (error "Request of value that was unevaluated in original program (underscore 7 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 8 in computation statement)."))   ((4))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((6)) )  (error "Request of value that was unevaluated in original program (underscore 9 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 10 in computation statement)."))   ((6))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((7)) )  (error "Request of value that was unevaluated in original program (underscore 11 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 12 in computation statement)."))   ((0))   ((0)) )   (([])) ) ) ) ) ) )   ((:)  (Workspace  (NonNegative  ((1)) )  (error "Request of value that was unevaluated in original program (underscore 13 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 14 in computation statement)."))   (([])) )  (error "Request of value that was unevaluated in original program (underscore 15 in computation statement)."))  )  {- generateArgs -} (StackSet  (Screen  (Workspace  (NonNegative  ((5)) )  (error "Request of value that was unevaluated in original program (underscore 16 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 17 in computation statement)."))   ((5))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((0)) )   ((0))   (Nothing) )   ((1))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((2)) )  (error "Request of value that was unevaluated in original program (underscore 18 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 19 in computation statement)."))   ((2))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((3)) )  (error "Request of value that was unevaluated in original program (underscore 20 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 21 in computation statement)."))   ((3))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((4)) )  (error "Request of value that was unevaluated in original program (underscore 22 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 23 in computation statement)."))   ((4))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((6)) )  (error "Request of value that was unevaluated in original program (underscore 24 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 25 in computation statement)."))   ((6))   ((0)) )   ((:)  (Screen  (Workspace  (NonNegative  ((7)) )  (error "Request of value that was unevaluated in original program (underscore 26 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 27 in computation statement)."))   ((0))   ((0)) )   (([])) ) ) ) ) ) )   ((:)  (Workspace  (NonNegative  ((1)) )  (error "Request of value that was unevaluated in original program (underscore 28 in computation statement).") (error "Request of value that was unevaluated in original program (underscore 29 in computation statement)."))   (([])) )  (error "Request of value that was unevaluated in original program (underscore 30 in computation statement)."))  {- more: [Just 6: Enter (P 5 1),Just 7: Cons 4 "StackSet" (P 5 1)] -}   {- generateArgs -} (NonNegative  ((0)) )  {- more: [Just 4: Enter (P 3 1),Just 5: Fun (P 3 1)] -} 
  