// 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.