Fix exit function for transient states.

smudgelang · Oct 21, 2016 · f7fa1f2 · f7fa1f2
1 parent 0254160
commit f7fa1f2
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/Semantics/Operation.hs b/Semantics/Operation.hs
@@ -75,7 +75,8 @@ allHandlers g = fromList $
 finalStates :: Gr EnterExitState Happening -> [Node]
 finalStates g = nodes g \\
     do  (n, EnterExitState {st=st@(State _)}) <- states
-        (Event _, Just (st', ev')) <- toList $ Map.map (! st) ahs
+        (e, Just (st', ev')) <- toList $ Map.map (! st) ahs
+        guard $ canTransition e
         (m, EnterExitState {st=st''}) <- states
         guard $ st' == st''
         (_, _, Happening {flags}) <- out g m
@@ -84,3 +85,6 @@ finalStates g = nodes g \\
     where
         ahs = allHandlers g
         states = labNodes g
+        canTransition EventEnter = True
+        canTransition (Event _) = True
+        canTransition _ = False
diff --git a/examples/showoff.smudge b/examples/showoff.smudge
@@ -8,6 +8,7 @@
     [
         _ -(SM3."External")-> B
     ],
+    D --> A,
     B (@enterB)
     [
         "Whee" --> C,
@@ -17,7 +18,8 @@
   * C
     [
         Beedoo --> A,
-        GoB -(@gob)-> B
+        GoB -(@gob)-> B,
+        something --> D
     ]
 }