Duncan Coutts writes: > So to sumarise the pairings: > * you _must_ make a safe call to an unsafe foreign function > * you _may_ make an unsafe call to a safe foreign function > > It's a contravariance :-)
I'd use a slightly different term. Declaring a function that needs special precaution to be called as "safe", and declaring a function that is safe to be called anytime as "unsafe" is contra-intuitive. ;-) Peter _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users