Re: Extension switches: -fexistentials

2003-06-25 Thread Andy Moran
Loads of separate switches is great for finessing a build, but there will still be a catch-call like -fglasgow-exts, right? -- Andy Moran Ph. (503) 526 3472 Galois Connections Inc. Fax. (503) 350 0833 3875 SW Hall Blv

Extension switches: -fexistentials

2003-06-25 Thread Ralf Hinze
GHC supports dozens of type system extensions, which is great. However, many of them come with their own syntax, which makes separate switches hard to implement. One relatively mild extension is support for existential types. Now, if we adopt the debatable and debated convention that local type var