yhccore-0.9.1: Yhc's Internal Core language.

Yhc.Core.Equal

Description

Equal checks if two CoreExpr's are equal ignoring any children expressions. Usually Eq is what is wanted, but for some stuff this is more appropriate.

Synopsis

Documentation

data CoreExpr1 Source

Should be equivalent to:

 eqCoreExpr1 x y = length xs == length ys && _x vs == _y vs
     where
         vs = replicate (length xs) (CoreVar "")
         (xs,_x) = uniplate x
         (ys,_y) = uniplate y