# HG changeset patch
# User Leonard Ritter <contact@leonard-ritter.com>
# Date 1603829650 -3600
#      Tue Oct 27 21:14:10 2020 +0100
# Node ID 7f1d43b1d1c547a0b4915ed6a8345d444ac96681
# Parent  3be459a3ad1d31e57815d097d1add38f117ca72f
* added `raiseof` in addition to `returnof` to allow querying exception type

diff --git a/lib/scopes/core.sc b/lib/scopes/core.sc
--- a/lib/scopes/core.sc
+++ b/lib/scopes/core.sc
@@ -3313,7 +3313,19 @@
                     else
                         hide-traceback;
                         error "function type expected"
-                'return-type T
+                let RT ET = ('return-type T)
+                RT
+    raiseof =
+        make-const-type-property-function
+            fn (T)
+                let T =
+                    if ('function-pointer? T) ('element@ T 0)
+                    elseif ('function? T) T
+                    else
+                        hide-traceback;
+                        error "function type expected"
+                let RT ET = ('return-type T)
+                ET
     offsetof =
         spice-macro
             fn (args)