blob: 1e28d00192141dfae99d54b262d7482f2b777391 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{-# LANGUAGE OverlappingInstances, UndecidableInstances #-}
--
-- Test case adopted from the HList library
-- http://www.cwi.nl/~ralf/HList/
--
-- Tests functional dependencies and overlapping instances
module Main where
import FakePrelude
import TypeEq
import TypeCast
--
-- Let's test.
-- The following should print "(HTrue,HFalse)".
--
main = print $ ( typeEq "42" "88"
, typeEq "42" (42::Int)
)
|