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 <> 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 <> for the standard definition of the "stableptr" DIS. Revision Changes Path 1.8 +7 -4 nhc98/src/prelude/GreenCard/GreenCard.gc