SSATypingBug.scl

   1 import "Prelude"
   2
   3 test :: () -> [Integer]
   4 test _ = do
   5   header = [0]
   6   rows = map (\foo -> map (\bar -> bar) [foo]) [1..5]
   7   foldl (+) header rows
   8
   9 main = test ()
  10 --
  11 [0, 1, 2, 3, 4, 5]