type-of-html-1.4.0.0: bench/Compilation/X32.hs
{-# OPTIONS_GHC -freduction-depth=0 #-}
{-# LANGUAGE DataKinds #-}
module Compilation.X32 (run) where
import Compilation
run :: IO ()
run = print . r (Proxy :: Proxy 32) $ helloWorld ()
{-# OPTIONS_GHC -freduction-depth=0 #-}
{-# LANGUAGE DataKinds #-}
module Compilation.X32 (run) where
import Compilation
run :: IO ()
run = print . r (Proxy :: Proxy 32) $ helloWorld ()