| Suppose I have the following RULES pragma:
|
| {-# RULES
| foo forall a . foo a = (\x - bar x) a
| #-}
|
| Ok, it's stupid but I have examples where this is motivated, trust me.
|
| Now, it seems that GHC simplifies the rule because what I get
| when compiling it with -ddump-rules is the
Not yet. But Jeff Lewis is (I believe) planning to work actively
on this.
Simon
| -Original Message-
| From: Hal Daume III [mailto:[EMAIL PROTECTED]]
| Sent: 24 February 2002 16:55
| To: GHC Users Mailing List
| Cc: [EMAIL PROTECTED]
| Subject: core language external representation
|
After reading your email i went to the discussion of IArray
on the haskell
doc page
(http://www.haskell.org/ghc/docs/latest/set/sec-iarray.html) and
am somewhat disturbed by it. There is the introduction of
the following
class:
class HasBounds a where
bounds :: Ix ix = a ix e -
On Mon, 25 Feb 2002, Simon Peyton-Jones wrote:
| Suppose I have the following RULES pragma:
|
| {-# RULES
| foo forall a . foo a = (\x - bar x) a
| #-}
|
| Ok, it's stupid but I have examples where this is motivated, trust me.
|
| Now, it seems that GHC simplifies the rule because
Josef,
Ah, I see. I think you are trying to do something quite hard,
akin to higher-order matching, which is the kind of thing Oege's
MAG system does. I'm copying him so he can confirm or deny.
In general, it is true that
(\x. ...x...) E
might match (f E), for some expression E,
On Monday 25 February 2002 02:55 am, Simon Peyton-Jones wrote:
Not yet. But Jeff Lewis is (I believe) planning to work actively
on this.
Well put. I plan on working on this, but no sooner than mid-march.
--Jeff
___
Glasgow-haskell-users mailing
I have an application that uses multiple processes and multiple threads
together. What's the best way to detect child process terminations?
The initial thread in the inital process serves as driver of the
application. It creates child processes and threads to carry out
portions of the
Hello,
I´m new in this list and I think that it´s a very good idea, because we
can show our doubts.
I have a doubt in GHC: How can we include a folder in the compiling
process? Example: If one file called main.hs requires some others modules
that are in one folder, how can compile it