testsuite/tests/ghc-regress/ffi/should_run/ffi002.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE ForeignFunctionInterface #-}
module Foo where

foreign export ccall foo :: Int -> IO Int

foo :: Int -> IO Int
foo n = return (length (f n))

f :: Int -> [Int]
f 0 = []
f n = n:(f (n-1))