With much gratitude to everybody who put up with my incessant CoreSyn questions, I'd like to announce "very early preview" availability of -XModalTypes and GHC.GArrow, mainly in order to collect feedback.
Information on the extensions to allow modal types and flatten them into GArrow terms is here: http://www.cs.berkeley.edu/~megacz/garrows/ Information on how I use Coq to write GHC passes can be found here: http://www.cs.berkeley.edu/~megacz/coq-in-ghc/ More details will arrive over the course of the next week, but feedback/advice is most welcome (either here or off-list). If you're itching to actually try compiling some programs, I suggest waiting until Monday; there are still a bunch of quirks to be ironed out. The -XModalTypes extension and flattening pass are the main focus and are what I will be working on most intensely over the next three weeks; the coq-in-ghc bit was mostly a means to an end. Thanks again to everybody who helped me figure out GHC's guts! (especially Dimitrios and SPJ). - a _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
