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