| 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
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 represented by:
