--- /dev/null
+// module Trig
+module {
+ export = [sin]
+}
+
+importJava "java.lang.Math" where
+ sin :: Double -> Double
+ cos :: Double -> Double
+--
+import "Trig"
+
+main = sin 0.0
+--
+0.0
+--
+import "Trig"
+
+main = cos 0.0
+--
+3:8-3:11: Couldn't resolve cos.
\ No newline at end of file