Change nop to skip

src/FSM/LangParser.hs

@@ -256,7 +256,7 @@ parseCase = do
     return $ SCase e (cs ++ [(TH.WildP, SNop)])
 
 parseNop :: Parser (Stmt LvlSugared)
-parseNop = singleSymbol "nop" *> return SNop
+parseNop = singleSymbol "skip" *> return SNop
 
 parseContinue :: Parser (Stmt LvlSugared)
 parseContinue = singleSymbol "continue" >> return (SBreak BrkCont)

src/FSM/LangPretty.hs

@@ -15,7 +15,7 @@ prettyFun fs s = vcat $ map f (M.toList fs) ++ [prettyStmt s]
     where f (n, (p, s')) = vcat [prettyKeyword "fun" <+> TH.ppr n <+> TH.ppr p <> prettyKeyword ":", nest 4 $ prettyStmt s']
 
 prettyStmt :: Stmt l -> Doc
-prettyStmt SNop = prettyKeyword "nop"
+prettyStmt SNop = prettyKeyword "skip"
 prettyStmt (SLet t n vs s) = vcat [prettyKeyword (kw t) <+> TH.ppr n <+> prettyKeyword "=" <+> prettyVStmt vs, prettyStmt s]
     where
     kw VarLet = "let"

tests/unittests.hs

@@ -328,7 +328,7 @@ fun f i:
     | True:
         yield i
     | False:
-        nop
+        skip
     yield i
     ret call f (i+1)
 ret call f 0