Update Function.hs

This commit is contained in:
Eitan Chatav 2019-09-25 14:08:29 -07:00
parent 40ad89af29
commit b40c66b549

View File

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