generalise the type of eqStableName#
authorSimon Marlow <marlowsd@gmail.com>
Fri, 24 Aug 2012 10:51:09 +0000 (11:51 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 28 Aug 2012 08:16:45 +0000 (09:16 +0100)
Now the StableName#s don't need to have the same type parameters:

eqStableName# :: StableName# a -> StableName# b -> Int#

compiler/prelude/primops.txt.pp

index cddb62a..42162a8 100644 (file)
@@ -1892,7 +1892,7 @@ primop  MakeStableNameOp "makeStableName#" GenPrimOp
    out_of_line      = True
 
 primop  EqStableNameOp "eqStableName#" GenPrimOp
-   StableName# a -> StableName# a -> Int#
+   StableName# a -> StableName# b -> Int#
 
 primop  StableNameToIntOp "stableNameToInt#" GenPrimOp
    StableName# a -> Int#