unsafePtrCompare, anybody?

[Leon Smith]

--------------Boundary-00=_SM3V1FS8RCJUQEV4UXOW
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: 8bit

> An exact criterion would require a formal semantics for Haskell, which
> we don't have.  But informally, if a function which is implemented using
> unsafePerformIO is pure - that is, its result depends only on the values
> of its arguments and possibly its free variables - then that is a "safe"
> use of unsafePerformIO.

I'm not sure I completely understand you here.  Obviously, these free 
variables must also include mutable variables, as mkFastString employs these, 
and the side-effects can be seen from within the module itself.  

> > "unsafePerformIO" is used in the implementation of
> > mkFastString, so how is it's side effects "safe".
>
> It is safe because the side effects aren't visible outside the
> implementation of mkFastString.

My intuition says that none of the side-effects in my implementation are 
visible from the abstract level of the module.  However, the use of 
unsafePerformIO certainly modifies the behaviour of the module.  For example, 
the following definitions at the beginning of a GHCi session on the attached 
code lead to the subsequent behaviour:


foo1 <- return (unsafePerformIO (mkAtom "foo"))
foo2 <- return (unsafePerformIO (mkAtom "foo"))
bar  <- return (unsafePerformIO (mkAtom "bar"))
safefoo1 <- mkAtom "foo"
safefoo2 <- mkAtom "foo"
safebar  <- mkAtom "bar"
list <- return [safefoo1, safefoo2, safebar, foo1, foo2, bar]


Atom> [x == y| x <- list, y <- list]
[True ,True ,False,False,False,False,
 True ,True ,False,False,False,False,
 False,False,True ,False,False,False,
 False,False,False,True ,False,False,
 False,False,False,False,True ,False,
 False,False,False,False,False,True  ]

As can be seen from above, the only times that (==) returns true, aside from 
reflexive cases, is when  (safefoo1 == safefoo2) and (safefoo2 == safefoo1).  

I've also played with the order of atom creation, and it doesn't appear to 
have any effect on the truth table.

best,
leon
--------------Boundary-00=_SM3V1FS8RCJUQEV4UXOW
Content-Type: text/plain;
  charset="iso-8859-1";
  name="Atom.hs"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="Atom.hs"

bW9kdWxlIEF0b20KICAgICggICBBdG9tKCkKICAgICwgICBta0F0b20KICAgICkgd2hlcmUKCmlt
cG9ydCBJT0V4dHMKaW1wb3J0IEZpbml0ZU1hcAoKbmV3dHlwZSBBdG9tID0gTWtBdG9tIFN0cmlu
ZwoKaW5zdGFuY2UgRXEgQXRvbSB3aGVyZQogICAgKD09KSA9IHVuc2FmZVB0ckVxCgppbnN0YW5j
ZSBPcmQgQXRvbSB3aGVyZQogICAgKE1rQXRvbSB4KSA8PSAoTWtBdG9tIHgnKSAgICAgID0geCA8
PSB4JwogICAgKE1rQXRvbSB4KSA8ICAoTWtBdG9tIHgnKSAgICAgID0geCA8ICB4JwogICAgKE1r
QXRvbSB4KSA+PSAoTWtBdG9tIHgnKSAgICAgID0geCA+PSB4JwogICAgKE1rQXRvbSB4KSA+ICAo
TWtBdG9tIHgnKSAgICAgID0geCA+ICB4JwogICAgY29tcGFyZSAoTWtBdG9tIHgpIChNa0F0b20g
eCcpID0gY29tcGFyZSB4IHgnCgppbnN0YW5jZSBTaG93IEF0b20gd2hlcmUKICAgIHNob3cgKE1r
QXRvbSB4KSA9IHgKCgphdG9tVGFibGUgOjogSU9SZWYgKEZpbml0ZU1hcCBTdHJpbmcgQXRvbSkK
YXRvbVRhYmxlID0gdW5zYWZlUGVyZm9ybUlPIChuZXdJT1JlZiBlbXB0eUZNKQoKbWtBdG9tIHN0
cgogICAgPSBkbwogICAgICBmbSA8LSByZWFkSU9SZWYgYXRvbVRhYmxlCiAgICAgIGNhc2UgbG9v
a3VwRk0gZm0gc3RyIG9mCiAgICAgICBKdXN0IHggIC0+IHJldHVybiB4CiAgICAgICBOb3RoaW5n
IC0+IGxldAoJCSAgICBhdG9tID0gTWtBdG9tIHN0cgoJCSAgIGluIGRvCgkJICAgICAgd3JpdGVJ
T1JlZiBhdG9tVGFibGUgKGFkZFRvRk0gZm0gc3RyIGF0b20pCgkJICAgICAgcmV0dXJuIGF0b20K
CgoKCgoKCgoKCg==

--------------Boundary-00=_SM3V1FS8RCJUQEV4UXOW--