blob: d240c345adbdbffadbe8fc1350256c8685e21a2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE ScopedTypeVariables #-}
module RepPolyDoReturn where
import GHC.Exts
import Prelude ( undefined )
return :: forall rep (ma :: TYPE rep). () -> ma
return = undefined
foo :: forall rep (ma :: TYPE rep). () -> ma
foo _ = do
return ()
|