Static pointers should work with monomorphism restriction
The OverloadedStrings
extension lets users write
x = "a"
even if the monomorphism restriction is on - the constraint IsString t
is defaulted to String
.
StaticPointers
are overloaded, they should also get this defaulting. Currently, the code
y = static 'a'
is rejected when MR is on: GHC refuses to solve IsStatic t
. It should default to StaticPtr
.