testsuite/tests/simplCore/should_compile/T4138.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20


module T4138 where

import T4138_A

-- We NOINLINE f because we want to count the number of F#s in the
-- -ddump-simpl output, so we don't want to be confused by F#s
-- appearing in the inlining
{-# NOINLINE f #-}
f :: (Float, Float) -> ()
f = rnf

{-
We're hoping that the output will include something like:

  \ (ds_afa :: (GHC.Types.Float, GHC.Types.Float)) ->
    case ds_afa of _ { (x_afd, y_afe) ->
    case x_afd of _ { GHC.Types.F# ipv_afm ->
    T4138_A.$fNFDataFloat_$crnf y_afe } }
-}