Skip to content
Permalink
Browse files

Fix order of isExpired in reduceRec (While)

  • Loading branch information...
palas committed Apr 11, 2019
1 parent d306104 commit ef881cb5649fa062007149bb3c1dc619e989729d
Showing with 1 addition and 1 deletion.
  1. +1 −1 meadow-client/src/Semantics.purs
@@ -649,7 +649,7 @@ reduceRec blockNum state env (Scale divid divis def contract) = Scale (Constant
vsDivis = evalValue blockNum state divis
vsDef = evalValue blockNum state def

reduceRec blockNum state env (While obs timeout contractWhile contractAfter) = if isExpired timeout blockNum
reduceRec blockNum state env (While obs timeout contractWhile contractAfter) = if isExpired blockNum timeout
then go contractAfter
else if evalObservation blockNum state obs
then (While obs timeout (go contractWhile) contractAfter)

0 comments on commit ef881cb

Please sign in to comment.
You can’t perform that action at this time.