aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ExplicitForAll/forall-local-signature.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE ExplicitForAll #-}

module ExplicitForAllLocalSignature where

outer :: Int -> Int
outer n =
  let local :: forall a. a -> a
      local x = x
   in local n