| Hi Adam, I am only in a position to speak about the FunTy (EqPred t1 t2) t3
| question.
|
| As I've written before, unless I am pretty unaware of transformations someone
| is performing in the
| desugarer or later on, you will never encounter such a type. The type you are
| looking for is r
On 24 February 2011 19:08, Adam Megacz wrote:
> - Can I count on the desugarer and core-to-core passes preserving the
> syntactic order of the branches in a (Let (Rec branches) e)?
Absolutely not. They will in general be reordered, eliminated, whatever.
> - It isn't possible for a single Ca
Adam Megacz [meg...@cs.berkeley.edu]
Sent: Thursday, February 24, 2011 7:08 PM
To: cvs-ghc@haskell.org
Subject: miscellaneous Core questions
Here are the leftover questions I had that weren't very urgent (I
kludged my way around most of them and am now going back to clean stuff
up)
- Can I cou
Here are the leftover questions I had that weren't very urgent (I
kludged my way around most of them and am now going back to clean stuff
up)
- Can I count on the desugarer and core-to-core passes preserving the
syntactic order of the branches in a (Let (Rec branches) e)?
- It isn't
