2 files changed, 17 insertions, 0 deletions
diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs
index 2135a97d..0d042d0d 100644
--- a/src/comp/front/ast.rs
+++ b/src/comp/front/ast.rs
@@ -67,6 +67,7 @@ tag stmt_ {
     stmt_decl(@decl);
     stmt_ret(option[@expr]);
     stmt_log(@expr);
+    stmt_check_expr(@expr);
     stmt_expr(@expr);
 }
 
diff --git a/src/comp/front/parser.rs b/src/comp/front/parser.rs
index 96158f1b..42ffc4c6 100644
--- a/src/comp/front/parser.rs
+++ b/src/comp/front/parser.rs
@@ -690,6 +690,22 @@ io fn parse_stmt(parser p) -> @ast.stmt {
             ret @spanned(lo, hi, ast.stmt_log(e));
         }
 
+        case (token.CHECK) {
+            p.bump();
+            alt (p.peek()) {
+                case (token.LPAREN) {
+                    auto e = parse_expr(p);
+                    auto hi = p.get_span();
+                    expect(p, token.SEMI);
+                    ret @spanned(lo, hi, ast.stmt_check_expr(e));
+                }
+                case (_) {
+                    p.get_session().unimpl("constraint-check stmt");
+                }
+            }
+        }
+
+
         case (token.LET) {
             auto decl = parse_let(p);
             auto hi = p.get_span();