testsuite/tests/safeHaskell/safeLanguage/SafeLang12.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE Safe #-}
{-# LANGUAGE TemplateHaskell #-}
module Main where

import SafeLang12_A
import SafeLang12_B

$(mkSimpleClass ''A)

main = do
    let b = c :: A
    putStrLn $ "I have a value of A :: " ++ show b