T19672.stderr\should_compile\simplCore\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/simplCore/should_compile/T19672.stderr

blob: 56b7c18fa92067d929451915d902969846ee0008 (plain)


==================== Tidy Core rules ====================
"SC:wimwam0"
    forall (sc :: Bool) (sc1 :: [Bool]).
      wimwam @Bool (: @Bool sc sc1)
      = bar_$swimwam sc sc1