16 Feb
2006
16 Feb
'06
5:57 a.m.
On 2/15/06, John Meacham <john@repetae.net> wrote:
foreign import primitive "prim_newWorld__" :: forall a . a -> World__
which will throw away its argument and produce a World__. but since it is primtive, the compiler will assume the world it returns might depend on its argument. then I could do something like:
GHC uses ST, which uses RealWorld#... -- Taral <taralx@gmail.com> "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra