From 47a2665bc76a3a1159d29eccbd63060fa68715b8 Mon Sep 17 00:00:00 2001 From: Natalie Perna Date: Wed, 7 Jun 2017 12:02:16 -0400 Subject: [PATCH] Fix CSE example. --- Chapters/RelatedWork.lhs | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/Chapters/RelatedWork.lhs b/Chapters/RelatedWork.lhs index c5a76d7..2988e0c 100755 --- a/Chapters/RelatedWork.lhs +++ b/Chapters/RelatedWork.lhs @@ -19,13 +19,9 @@ Given the expression: |let x = 3 in let y = 2+3 in 2+3+4| -the first CSE on the subexpressions yields: +the result of the recursive trransformation is: -|let x = 3 in let y = 2+x in y+4| - -and then the recursive transformation produces: - -|let x = 3 in let y = 2+x in 2+x+4| +|let x = 3 in let y = 2+x in y+4|. \section{Let-floating} \label{sec:let_floating}