+-- Not yet...
+-- `setSpecInfo` rules
+-- `setArityInfo` exactArity arity
+-- `setStrictnessInfo` strict_info
+
+ arity = primOpArity prim_op
+ (dmds, result_bot) = primOpStrictness prim_op
+ strict_info = mkStrictnessInfo (take arity dmds, result_bot)
+ -- primOpStrictness can return an infinite list of demands
+ -- (cheap hack) but Ids mustn't have such things.
+ -- What a mess.
+
+ rules = addRule id emptyCoreRules (primOpRule prim_op)
+