1 % -----------------------------------------------------------------------------
2 % $Id: PrelDynamic.lhs,v 1.5 2000/06/30 13:39:35 simonmar Exp $
4 % (c) The University of Glasgow, 1998-2000
7 The Dynamic type is used in the Exception type, so we have to have
8 Dynamic visible here. The rest of the operations on Dynamics are
9 available in exts/Dynamic.lhs.
12 {-# OPTIONS -fno-implicit-prelude #-}
15 module PrelDynamic where
20 data Dynamic = Dynamic TypeRep Obj
23 -- dummy type to hold the dynamically typed value.
30 -- type constructors are
31 data TyCon = TyCon Int String
33 instance Eq TyCon where
34 (TyCon t1 _) == (TyCon t2 _) = t1 == t2