X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.icl;h=f55c70d9e3a0f6db0a03de758ab2c64d5d444081;hb=6420aa92a3b4b341f8f86654df79adc1ef610741;hp=697ce50da46fc200d6d9b8b0d73d13b47189e69d;hpb=17aaf6797b3dd4e820b186a55335a36a89ea92cb;p=mTask.git diff --git a/mTaskInterpret.icl b/mTaskInterpret.icl index 697ce50..f55c70d 100644 --- a/mTaskInterpret.icl +++ b/mTaskInterpret.icl @@ -252,8 +252,8 @@ BCIfStmt (BC b) (BC t) (BC e) = BC $ t >>| tell [BCJmp endif, BCLab else] >>| e >>| tell [BCLab endif] -freshl = get >>= \st=:{freshl=[fr:frs]}->put {st & freshl=frs} >>| pure fr -freshs = get >>= \st=:{freshs=[fr:frs]}->put {st & freshs=frs} >>| pure fr +freshl = get >>= \st=:{freshl}->put ({st & freshl=freshl+1}) >>| pure freshl +freshs = get >>= \st=:{freshs}->put ({st & freshs=freshs+1}) >>| pure freshs instance noOp ByteCode where noOp = tell` [BCNop] @@ -301,7 +301,7 @@ instance retrn ByteCode where retrn = tell` [BCReturn] instance zero BCState where - zero = {freshl=[1..], freshs=[1..], sdss=[]} + zero = {freshl=1, freshs=1, sdss=[]} toRealByteCode :: (ByteCode a b) BCState -> (String, BCState) toRealByteCode x s