diff options
Diffstat (limited to 'testsuite/tests/determinism/determ016/A.hs')
-rw-r--r-- | testsuite/tests/determinism/determ016/A.hs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/determinism/determ016/A.hs b/testsuite/tests/determinism/determ016/A.hs new file mode 100644 index 0000000000..81aa34d66d --- /dev/null +++ b/testsuite/tests/determinism/determ016/A.hs @@ -0,0 +1,19 @@ + +{-# LANGUAGE UnicodeSyntax, MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE FlexibleContexts #-} +{-# OPTIONS -w #-} + +module A where + +data PSum a b = Empty | Tree a b [(PSum a b)] + +extractMinX ∷ (Ord a, Eq b, Num b) ⇒ PSum a b → ((a,b), PSum a b) +extractMinX Empty = undefined +extractMinX (Tree v r xs) = ((v,r), Empty) + +toListX ∷ (Ord a, Eq b, Num b) ⇒ PSum a b → [(a,b)] +toListX Empty = [] +toListX x = let (y, z) = extractMinX x in y : toListX z + +main ∷ IO () +main = print $ take 20 $ toListX $ (Empty :: PSum Int Int) |