Skip to content

Commit

Permalink
turtle tests: fix warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
Brent Yorgey committed Jan 30, 2014
1 parent 8af4569 commit c545394
Showing 1 changed file with 6 additions and 8 deletions.
14 changes: 6 additions & 8 deletions tests/Diagrams/TwoD/Path/Turtle/Tests.hs
Expand Up @@ -84,10 +84,9 @@ movesLeft t = isPenDown t ==>
&& abs(endY - startY) < 0.0001 && abs(endY - startY) < 0.0001
where where
x = 2.0 x = 2.0
turn = 90 t' = t # forward x # left 90
t' = t # forward x # left turn # forward x # left 90
# forward x # left turn # forward x # left 90
# forward x # left turn
# forward x # forward x
(unp2 -> (startX, startY)) = penPos t (unp2 -> (startX, startY)) = penPos t
(unp2 -> (endX, endY)) = penPos t' (unp2 -> (endX, endY)) = penPos t'
Expand All @@ -100,10 +99,9 @@ movesRight t = isPenDown t ==>
&& abs(endY - startY) < 0.0001 && abs(endY - startY) < 0.0001
where where
x = 2.0 x = 2.0
turn = 90 t' = t # forward x # right 90
t' = t # forward x # right turn # forward x # right 90
# forward x # right turn # forward x # right 90
# forward x # right turn
# forward x # forward x
(unp2 -> (startX, startY)) = penPos t (unp2 -> (startX, startY)) = penPos t
(unp2 -> (endX, endY)) = penPos t' (unp2 -> (endX, endY)) = penPos t'
Expand Down

0 comments on commit c545394

Please sign in to comment.