From 24475557a4a1c2a66a2fc874a576fe1082f8cdfe Mon Sep 17 00:00:00 2001 From: simonmar Date: Fri, 4 May 2001 14:43:49 +0000 Subject: [PATCH] [project @ 2001-05-04 14:43:49 by simonmar] touch# should be declared to have_side_effects. This fixes the remaining problem with safe foreign imports and ForeignPtrs. --- ghc/compiler/prelude/primops.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ghc/compiler/prelude/primops.txt b/ghc/compiler/prelude/primops.txt index e86a5ca..4722f5b 100644 --- a/ghc/compiler/prelude/primops.txt +++ b/ghc/compiler/prelude/primops.txt @@ -1,5 +1,5 @@ ----------------------------------------------------------------------- --- $Id: primops.txt,v 1.19 2001/03/22 03:51:08 hwloidl Exp $ +-- $Id: primops.txt,v 1.20 2001/05/04 14:43:49 simonmar Exp $ -- -- Primitive Operations -- @@ -1148,6 +1148,7 @@ primop ForeignObjToAddrOp "foreignObjToAddr#" GenPrimOp primop TouchOp "touch#" GenPrimOp o -> State# RealWorld -> State# RealWorld with + has_side_effects = True strictness = { \ arity -> StrictnessInfo [wwLazy, wwPrim] False } ------------------------------------------------------------------------ -- 1.7.10.4