diff --git a/purescript.cabal b/purescript.cabal
--- a/purescript.cabal
+++ b/purescript.cabal
@@ -1,5 +1,5 @@
 name: purescript
-version: 0.2.6
+version: 0.2.7
 cabal-version: >=1.8
 build-type: Simple
 license: MIT
diff --git a/src/Language/PureScript/CodeGen/JS.hs b/src/Language/PureScript/CodeGen/JS.hs
--- a/src/Language/PureScript/CodeGen/JS.hs
+++ b/src/Language/PureScript/CodeGen/JS.hs
@@ -187,5 +187,4 @@
   elseToJs :: ElseStatement -> JS
   elseToJs (Else sts) = JSBlock (map (statementToJs m e) sts)
   elseToJs (ElseIf elif) = ifToJs elif
-statementToJs m e (ValueStatement val) = valueToJs m e val
 statementToJs m e (Return value) = JSReturn (valueToJs m e value)
diff --git a/src/Language/PureScript/Parser/Values.hs b/src/Language/PureScript/Parser/Values.hs
--- a/src/Language/PureScript/Parser/Values.hs
+++ b/src/Language/PureScript/Parser/Values.hs
@@ -211,9 +211,6 @@
 parseElseStatement = C.reserved "else" >> (ElseIf <$> parseIfStatement
                                            <|> Else <$> parseManyStatements)
 
-parseValueStatement :: P.Parsec String ParseState Statement
-parseValueStatement = ValueStatement <$> (parseValue <* C.semi)
-
 parseReturn :: P.Parsec String ParseState Statement
 parseReturn = Return <$> (C.reserved "return" *> parseValue <* C.indented <* C.semi)
 
@@ -224,7 +221,6 @@
                  , parseWhile
                  , parseFor
                  , parseIf
-                 , parseValueStatement
                  , parseReturn ] P.<?> "statement"
 
 parseStringBinder :: P.Parsec String ParseState Binder
diff --git a/src/Language/PureScript/Pretty/Values.hs b/src/Language/PureScript/Pretty/Values.hs
--- a/src/Language/PureScript/Pretty/Values.hs
+++ b/src/Language/PureScript/Pretty/Values.hs
@@ -205,7 +205,6 @@
   ++ " until " ++ prettyPrintValue end ++ ": {"
   ++ intercalate "; " (map prettyPrintStatement sts) ++ " }"
 prettyPrintStatement (If ifst) = prettyPrintIfStatement ifst
-prettyPrintStatement (ValueStatement val) = prettyPrintValue val
 prettyPrintStatement (Return value) = "return " ++ prettyPrintValue value
 
 prettyPrintIfStatement :: IfStatement -> String
diff --git a/src/Language/PureScript/TypeChecker/Types.hs b/src/Language/PureScript/TypeChecker/Types.hs
--- a/src/Language/PureScript/TypeChecker/Types.hs
+++ b/src/Language/PureScript/TypeChecker/Types.hs
@@ -540,9 +540,6 @@
   check end Number
   (allCodePathsReturn, _) <- bindLocalVariables moduleName [(ident, Number)] $ checkBlock mass ret inner
   return (allCodePathsReturn, mass)
-checkStatement mass _ (ValueStatement val) = do
-  check val unit
-  return (False, mass)
 checkStatement mass ret (Return val) = do
   check val ret
   return (True, mass)
diff --git a/src/Language/PureScript/Values.hs b/src/Language/PureScript/Values.hs
--- a/src/Language/PureScript/Values.hs
+++ b/src/Language/PureScript/Values.hs
@@ -85,7 +85,6 @@
   | While Value [Statement]
   | For Ident Value Value [Statement]
   | If IfStatement
-  | ValueStatement Value
   | Return Value deriving (Show, Data, Typeable)
 
 data IfStatement = IfStatement Value [Statement] (Maybe ElseStatement) deriving (Show, Data, Typeable)