thanks, it works fine now. 2008/5/27 Don Stewart <dons@galois.com>:

jakubuv:

...

Thanks lot, it works now. Now, I have just a simple question:

Is there any chance to make rewriting working in ghci ?

I think you can actually enable them by putting:

{-# OPTIONS -frewrite-rules #-}

at the top of the file to be interpreted. Works for me, anyway.

-- Don