@@ -74,7 +74,8 @@ toSC prims (n, d)
74 Just (args, rt, op) ->
74 Just (args, rt, op) ->
75 let anames = zipWith mkA args [0..] in
75 let anames = zipWith mkA args [0..] in
76 [(n, SCDef anames (length anames)
76 [(n, SCDef anames (length anames)
77− (SPrimOp op (map (SRef . fst) anames)))]
77+ (SPrimOp op (take (length anames)
78 where mkA t i = (MN i "primArg", t)
79 where mkA t i = (MN i "primArg", t)
80sclift :: (Name, Def) -> [(Name, SCDef)]
81sclift :: (Name, Def) -> [(Name, SCDef)]