blob: 6fb47133aee6ccb733ef92f1e104a0e4349febff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# language DataKinds #-}
{-# language KindSignatures #-}
{-# language PolyKinds #-}
{-# language RankNTypes #-}
module LevPolyLet
( example
) where
import GHC.Exts
-- This should be rejected because of the let binding.
example :: forall (v :: Levity) (a :: TYPE ('BoxedRep v)).
(Int -> a)
-> (a -> Bool)
-> Bool
example f g =
let x = f 42
in g x
|