aboutsummaryrefslogtreecommitdiff
path: root/tests/test_parser.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/test_parser.rs')
-rw-r--r--tests/test_parser.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/test_parser.rs b/tests/test_parser.rs
index 958fc37..54311b8 100644
--- a/tests/test_parser.rs
+++ b/tests/test_parser.rs
@@ -17,7 +17,7 @@ fn test_simple_phrases() {
fn test_simple_annotations() {
assert_eq!(parse_str("t: int"), Ok(Ann(Var("t"), Type::Integer)));
assert_eq!(parse_str("12: nat"), Ok(Ann(Const(12, Type::Empty), Type::Natural)));
- // assert!(parse_str("t: fake").is_err()); // fixme: currently panics
+ assert!(parse_str("t: fake").is_err());
}
#[test]