From c5f7f2cc5e5ca7ef98006d2789400a8abb188ec4 Mon Sep 17 00:00:00 2001 From: Zachary Snow Date: Sat, 14 Sep 2019 20:59:41 -0400 Subject: [PATCH] typedef conversion gracefully skips yet-unknown typenames --- src/Convert/Typedef.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Convert/Typedef.hs b/src/Convert/Typedef.hs index 1bcd6a3..4317bb8 100644 --- a/src/Convert/Typedef.hs +++ b/src/Convert/Typedef.hs @@ -93,6 +93,6 @@ resolveType types (Alias Nothing st rs1) = (Struct p l rs2) -> Struct p l $ rs1 ++ rs2 (Union p l rs2) -> Union p l $ rs1 ++ rs2 (InterfaceT x my rs2) -> InterfaceT x my $ rs1 ++ rs2 + (Alias ps x rs2) -> Alias ps x $ rs1 ++ rs2 (IntegerAtom kw _ ) -> error $ "resolveType encountered packed `" ++ (show kw) ++ "` on " ++ st (NonInteger kw ) -> error $ "resolveType encountered packed `" ++ (show kw) ++ "` on " ++ st - (Alias _ _ _) -> error $ "resolveType invariant failed on " ++ st