diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcForeign.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcForeign.lhs b/compiler/typecheck/TcForeign.lhs index 23756d97c3..1a8a3f354c 100644 --- a/compiler/typecheck/TcForeign.lhs +++ b/compiler/typecheck/TcForeign.lhs @@ -154,8 +154,8 @@ tcCheckFIType sig_ty arg_tys res_ty idecl@(CImport cconv safety _ _ (CFunction t | cconv == PrimCallConv = do checkCg (checkCOrAsmOrDotNetOrInterp) checkCTarget target - check (safety == PlayRisky) - (text "A `foreign import prim' must always be annotated as `unsafe'") + check (playSafe safety) + (text "The safe/unsafe annotation should not be used with `foreign import prim'.") dflags <- getDOpts checkForeignArgs (isFFIPrimArgumentTy dflags) arg_tys -- prim import result is more liberal, allows (#,,#) |