Exercise defaulting of _ccall_ results (bot not args) to ()
--- /dev/null
+--!!! cc002 -- ccall with ambiguous result (should be defaulted to ())
+module ShouldCompile where
+
+a :: IO ()
+a = do
+ _ccall_ a
+ return ()
+
+
--- /dev/null
+--!!! cc002 -- ccall with ambiguous argument
+module Test where
+
+f :: IO ()
+f = _ccall_ foo (undefined ())
--- /dev/null
+
+cc001.hs:5:
+ Cannot resolve the ambiguous context (PrelGHC.CCallable aJC)
+ `PrelGHC.CCallable aJC' arising from an argument in the _ccall_ to `foo', namely `(Prelude.undefined ())' at cc001.hs:5
+
+
+Compilation had errors