Simon Peyton Jones pushed to branch wip/T27664 at Glasgow Haskell Compiler / GHC
Commits:
-
16157a5d
by Simon Peyton Jones at 2026-09-02T23:14:30+01:00
2 changed files:
Changes:
| 1 | +{-# LANGUAGE StaticPointers, ScopedTypeVariables #-}
|
|
| 2 | +module Repro where
|
|
| 3 | + |
|
| 4 | +import Data.Typeable
|
|
| 5 | +import GHC.StaticPtr
|
|
| 6 | + |
|
| 7 | +f1 :: forall a. Typeable a => StaticPtr (a -> a)
|
|
| 8 | +f1 = static (id :: a -> a)
|
|
| 9 | + |
|
| 10 | +f2 :: forall a. Typeable a => StaticPtr (a -> a)
|
|
| 11 | +f2 = static (id) :: StaticPtr (a->a) |
| ... | ... | @@ -969,3 +969,4 @@ test('ExpansionQLIm', normal, compile, ['']) |
| 969 | 969 | test('T23135', normal, compile, [''])
|
| 970 | 970 | test('LazyFieldAnnotations', normal, compile, [''])
|
| 971 | 971 | test('T27557', normal, compile, [''])
|
| 972 | +test('T27664', normal, compile, ['']) |