Fix session exceptions regression

core/desugarSessionExceptions.ml

@@ -108,7 +108,8 @@ object (o : 'self_type)
         let outer_effects = o#lookup_effects in
 
         let fail_cont_ty =
-          Types.make_pure_function_type [] (Types.empty_type) in
+          Types.make_operation_type [] Types.empty_type
+        in
 
         let inner_effects =
           effect_row

core/typeSugar.ml

@@ -4544,7 +4544,7 @@ let rec type_check : context -> phrase -> phrase * Types.datatype * Usage.t =
                 (T.Row (Label.Map.empty, rho, false)) in
             let try_effects =
               Types.row_with
-                (Value.session_exception_operation, T.Present (Types.make_pure_function_type [] Types.empty_type))
+                (Value.session_exception_operation, T.Present (Types.make_operation_type [] Types.empty_type))
                 (T.Row (Label.Map.empty, rho, false)) in
 
             unify ~handle:Gripers.try_effect