From a5c2add97c11237b3f0a224b1ec90dcf447cc2b5 Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 6 Apr 2023 15:41:55 -0700
Subject: don't panic when parsing bad types (this is genuinely awful)

---
 tests/test_parser.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests')

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]
-- 
cgit v1.2.3-70-g09d2