Mark the roles of Ptr and FunPtr as R, not P!
authorRichard Eisenberg <eir@cis.upenn.edu>
Fri, 2 Aug 2013 14:52:02 +0000 (15:52 +0100)
committerRichard Eisenberg <eir@cis.upenn.edu>
Fri, 2 Aug 2013 14:52:02 +0000 (15:52 +0100)
commitab9e8e309e427fa7153e8e1cd124b4c7c1531ef4
tree1b2092fc65c07751f758d5b5cbfc9cfedfad583d
parent62d49c106a143c3c38854176908d285af3f8d291
Mark the roles of Ptr and FunPtr as R, not P!
GHC/Ptr.lhs