Remove the obsolete breathe keyword (#480)

src/back/CodeGen/Expr.hs

@@ -128,11 +128,6 @@ translateDecl (name, expr) = do
 instance Translatable A.Expr (State Ctx.Context (CCode Lval, CCode Stat)) where
   -- | Translate an expression into the corresponding C code
   translate skip@(A.Skip {}) = namedTmpVar "skip" (A.getType skip) (AsExpr unit)
-  translate breathe@(A.Breathe {}) =
-    namedTmpVar "breathe"
-                (A.getType breathe)
-                (Call (Nam "call_respond_with_current_scheduler") ([] :: [CCode Expr]))
-
   translate null@(A.Null {}) = namedTmpVar "literal" (A.getType null) Null
   translate true@(A.BTrue {}) = namedTmpVar "literal"  (A.getType true) (Embed "1/*True*/"::CCode Expr)
   translate false@(A.BFalse {}) = namedTmpVar "literal" (A.getType false) (Embed "0/*False*/"::CCode Expr)

src/ir/AST/PrettyPrinter.hs

@@ -130,7 +130,6 @@ ppSugared e = case getSugared e of
 
 ppExpr :: Expr -> Doc
 ppExpr Skip {} = "()"
-ppExpr Breathe {} = "breathe"
 ppExpr MethodCall {target, name, args} =
     maybeParens target <> "." <> ppName name <>
       parens (commaSep (map ppExpr args))

src/parser/Parser/Parser.hs

@@ -48,7 +48,6 @@ lexer =
     ,"class"
     ,"def"
     ,"stream"
-    ,"breathe"
     ,"int"
     ,"string"
     ,"char"
@@ -633,7 +632,6 @@ highOrderExpr = adtExpr
 
 expr :: Parser Expr
 expr  =  unit
-     <|> breathe
      <|> try embed
      <|> try path
      <|> try functionCall
@@ -686,9 +684,6 @@ expr  =  unit
       unit = do pos <- getPosition
                 reservedOp "()"
                 return $ Skip (meta pos)
-      breathe = do pos <- getPosition
-                   reserved "breathe"
-                   return $ Breathe (meta pos)
       path = do pos <- getPosition
                 root <- parens expression <|> try functionCall <|> varAccess <|> stringLit
                 first <- pathComponent

src/types/Typechecker/Typechecker.hs

@@ -323,11 +323,6 @@ instance Checkable Expr where
     --  E |- () : void
     doTypecheck skip@(Skip {}) = return $ setType voidType skip
 
-    --
-    -- ----------------
-    --  E |- breathe : void
-    doTypecheck breathe@(Breathe {}) = return $ setType voidType breathe
-
    ---  |- t
     --  E |- body : t
     -- ----------------------