[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Staff / Current / Mohnen / CP / Ghc
Printer-friendly
Implementation of Context Patterns for Haskell
Context Patterns
Implementation for Haskell

We have implemented context patterns as extension of Haskell. The implementation is based on the The Glasgow Haskell Compiler.

The current implementation is to be consider of alpha quality and does not yet support the extended context as described in the most recent paper Context Patterns, Part II.

Currently, you can download the following files:
Compiler Binary for ghc 2.01
This binary hsc is a replacement which resides on you system in a directory /some/path/ghc/2.01/some-machine. You do need to have an installed and running ghc 2.01 for this!
  • hsc for sparc-sun-solaris2 (gzip, 1.7 MB)
  • hsc for sparc-sun-solaris2 (bzip2, 1.2 MB)
Complete source code for ghc 2.01 with context patterns
Coming soon
Source code diff for ghc 2.01
Coming soon

Context Patterns
Markus Mohnen
Last modified: Dec 16 2002
Valid HTML 4.01 Strict! Valid CSS!