From b89d46e7df8ae65786abe37b5703392e9042db83 Mon Sep 17 00:00:00 2001 From: Matthew Hall Date: Thu, 23 Feb 2023 23:23:21 +1300 Subject: StackModifiers now use Void --- DSL/Util.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'DSL/Util.hs') diff --git a/DSL/Util.hs b/DSL/Util.hs index 44d272c..6affe75 100644 --- a/DSL/Util.hs +++ b/DSL/Util.hs @@ -45,5 +45,5 @@ buildProcTable :: [ProcSpec] -> Either String ProcTable buildProcTable ps = appendProcTable ps empty unreachable :: a -unreachable = error "this branch should be unreachable" +unreachable = error "This branch should be unreachable. If you can read this, something has gone EXTREMELY wrong." -- cgit v1.2.1