diff options
Diffstat (limited to 'ghc/compiler/tests/ccall/cc003.hs')
| -rw-r--r-- | ghc/compiler/tests/ccall/cc003.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ghc/compiler/tests/ccall/cc003.hs b/ghc/compiler/tests/ccall/cc003.hs new file mode 100644 index 0000000000..5b8bd822e2 --- /dev/null +++ b/ghc/compiler/tests/ccall/cc003.hs @@ -0,0 +1,8 @@ +--!!! cc003 -- ccall with unresolved polymorphism (should fail) +module Test where + +import PreludeGlaIO + +fubar :: PrimIO Int +fubar = ccall f `seqPrimIO` ccall b + --^ result type of f "lost" (never gets generalised) |