29 Sep
2003
29 Sep
'03
5 p.m.
malcolm 2003/09/29 10:00:26 PDT Modified files: src/prelude/GreenCard GreenCard.gc Log: Update the nhc98 version of greencard to deal correctly with a change in the representation of StablePtrs. * Adopt the syntax <<to/from>> for a UserDIS whose conversion methods live in the I/O monad. There are several consequent changes in the greencard backend to plumb the monad through the automatically-generated marshalling code. * Use <<newStablePtr/deRefStablePtr>> for the standard definition of the "stableptr" DIS. Revision Changes Path 1.8 +7 -4 nhc98/src/prelude/GreenCard/GreenCard.gc