summaryrefslogtreecommitdiff
path: root/testsuite/tests/codeGen/should_run/cgrun015.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/codeGen/should_run/cgrun015.hs')
-rw-r--r--testsuite/tests/codeGen/should_run/cgrun015.hs31
1 files changed, 31 insertions, 0 deletions
diff --git a/testsuite/tests/codeGen/should_run/cgrun015.hs b/testsuite/tests/codeGen/should_run/cgrun015.hs
new file mode 100644
index 0000000000..eba3b8ab30
--- /dev/null
+++ b/testsuite/tests/codeGen/should_run/cgrun015.hs
@@ -0,0 +1,31 @@
+{-# LANGUAGE MagicHash #-}
+module Main ( main ) where
+
+import Foreign
+import Foreign.C
+import GHC.Exts
+
+data CList = CNil | CCons Int# CList
+
+mk :: Int# -> CList
+mk n = if (n ==# 0#)
+ then CNil
+ else CCons 1# (mk (n -# 1#))
+
+clen :: CList -> Int#
+clen CNil = 0#
+clen (CCons _ cl) = 1# +# (clen cl)
+
+main = case (clen list4) of
+ len4 ->
+ case (len4 +# len4) of
+ 8# -> finish 65# -- 'A'
+ _ -> finish 66# -- 'B'
+ where
+ list4 = mk 4#
+
+finish :: Int# -> IO ()
+finish n = c_putchar (castCharToCChar (C# (chr# n))) >> return ()
+
+foreign import ccall unsafe "putchar"
+ c_putchar :: CChar -> IO CInt