| Roger Meier | 16c164e | 2014-08-07 03:09:23 +0200 | [diff] [blame^] | 1 | module Main where |
| 2 | |||||
| 3 | import qualified Prelude as P | ||||
| 4 | |||||
| 5 | import NameConflictTest_Consts | ||||
| 6 | import NameConflictTest_Types | ||||
| 7 | import Qualified | ||||
| 8 | import Qualified_Client | ||||
| 9 | import Qualified_Iface | ||||
| 10 | import Extern | ||||
| 11 | import Extern_Client | ||||
| 12 | import Extern_Iface | ||||
| 13 | |||||
| 14 | main :: P.IO () | ||||
| 15 | main = do | ||||
| 16 | P.putStrLn "Values:" | ||||
| 17 | P.print ([JUST, TRUE, FALSE] :: [Maybe]) | ||||
| 18 | P.print ([LEFT, RIGHT] :: [Either]) | ||||
| 19 | P.print (Problem_ (P.Just P.True) (P.Just P.False)) | ||||