В коре это же просто

foo x = case x of _ -> [1..1000] 

так что ничего не изменится,

foo1 :: [Int]
foo1 = eftInt 1# 1000#

foo :: forall a. a -> [Int]
foo
  = \ (@ a_aPS) (x_aPI :: a_aPS) ->
      case x_aPI of { __DEFAULT -> foo1 }

Компилятор умнее программиста. Пусть сам код пишет тогда

надо шоб параметр использовался

в том числе и параметр типа

А как бы его так использовать, если он нафиг не нужен?

если нафиг не нужен, то он до рантайма и не доживет
надо чтоб вычисление от него зависило
типа foo p | p = blahblah

но даже тут не удивлюсь если он блала вытянет из кейса наверх, вЕдЬ лЕниВоСтЬ же значит можно!

Конечно вытянет

foo :: Bool -> [Int]
foo x
  | x = [1..1000]
  | otherwise = errorWithoutStackTrace ""



foo2 :: [Int]
foo2 = errorWithoutStackTrace []

foo1 :: [Int]
foo1 = eftInt 1# 1000#

foo :: Bool -> [Int]
foo
  = \ (x_aPM :: Bool) ->
      case x_aPM of {
        False -> foo2;
        True -> foo1
      }

Я чёт даже с oneShot нифига не могу сделать как надо

Как только включаю оптимизации, всё шарится

заставить его пересчитывать че-то заново тяжело, сопротивляется до последнего

ору

воюете с излишне умным компилятором

восстание машин на подходе

Хотели же сделать dup или там noupdate хотя бы, вот где оно всё

Мб тогда просто вынести в отдельный модуль и дать  -fno-full-laziness, чтоб наверняка

Смысл этого упражнения в том, чтобы не выключать full-laziness

??

На всякий случай, NOINLINE на функцию сажали? Может быть санк изначально не флоат-аутится, но в месте использования функция инлайнится и санк флоат-аутится уже оттуда? Или cse работает