From aidenn0 at yahoo.com  Fri Oct  5 17:24:54 2007
From: aidenn0 at yahoo.com (Jason Miller)
Date: Fri, 5 Oct 2007 08:24:54 -0700 (PDT)
Subject: [Liskell-devel] TransformationMonad
Message-ID: <887784.16769.qm@web52704.mail.re2.yahoo.com>

The ILC-07 Liskell paper seems to imply that PTTs run within the TransformationMonad.  However, from what I can tell only the Liskell primitives do.  I see heavy use of the TransformationMonad in "LskToHs.hs" but none in the tech-demos.  Furthermore the type of LskEnv seems to indicate that the transformation monad is not available to PTTs.  Am I missing something?

Thanks,
Jason




      ____________________________________________________________________________________
Check out the hottest 2008 models today at Yahoo! Autos.
http://autos.yahoo.com/new_cars.html