@@ -128,7 +128,7 @@ createSetFunction fun args rets fundef = UnsafeDefinition $
129createOrReplaceSetFunction
129createOrReplaceSetFunction
130 :: ( Has sch schemas schema
130 :: ( Has sch schemas schema
131− , Has fun schema ('Function (args0 :=> ret0))
131+ , KnownSymbol fun
132 , SOP.SListI args
132 , SOP.SListI args
133 , SOP.SListI rets )
133 , SOP.SListI rets )
134 => QualifiedAlias sch fun
134 => QualifiedAlias sch fun