From 786c7fbc17c149996f2d9b6cc92800d459b3de9a Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 29 Mar 2016 22:51:02 +0200
Subject: Fix seq; more readme

---
 While.icl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'While.icl')

diff --git a/While.icl b/While.icl
index b258d74..6d1a613 100644
--- a/While.icl
+++ b/While.icl
@@ -53,8 +53,8 @@ dTree stm st ts r = {stm=stm, state=st, children=ts, result=r}
 // Structural Operational Semantics
 
 seq :: Stm State -> DerivSeq
-seq stm st = case step stm st of (Done st) = [Done st]
-                                 (NDone stm st) = [NDone stm st : seq stm st]
+seq stm st = case step stm st of (Done st`) = [NDone stm st, Done st`]
+                                 (NDone stm` st`) = [NDone stm st:seq stm` st`]
 where
     step :: Stm State -> DerivSeqNode
     step Skip st = Done st
-- 
cgit v1.2.3