testsuite/tests/typecheck/should_compile/ClassDefaultInHsBootA3.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE FlexibleContexts #-}
module ClassDefaultInHsBootA3 where

import ClassDefaultInHsBootA1
import ClassDefaultInHsBootA2

asdf :: String
asdf = show $ def @I