-->(9:04 pm) Sinyc: Bugfixes 'R' Us: *Main> metatestIdentityMultiplication data0
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
(((((((((((((((((((Interrupted.
*Main> :r
Compiling Main ( D:/School/comp1130/a1/a1.hs, interpreted )
Ok, modules loaded: Main.
*Main> metatestIdentityMultiplication data0
x * 1
<--(9:05 pm) Sinyc: Hahaha.
-->(9:06 pm) Sinyc: Bow to the magic of the recursive metasubstitution function.
-->(9:06 pm) Sinyc: ---- BOW HERE >>>> metaSubstituteRecurse::[MetaState] -> Expr -> ExprM -> ExprM -> Expr metaSubstituteRecurse metastates expr eqleft eqright | (depth newexpr) < (depth expr) = metaSubstitute newexpr eqleft eqright | (depth newexpr) == (depth expr) = metaSubstituteChildren newexpr eqleft eqright | otherwise = newexpr where newexpr = makeExpr eqright metastates -- <<<<< END BOW
<--(9:06 pm) Sinyc: rofl. I read that completely and utterly wrong. Dirty dirty mind.</<<<></<></<<></<& lt;<<>
<--(10:12 pm) Sarm: O.o Really? What's she doing?
Crispilicious.