Re: How to use dynamic types?

2000-08-08 Thread Andy Gill
> The same thing happened to me when I tried to test Dynamic.lhs distributed > with Hugs98. The library module seems to have been imported from the GHC > distribution, so it worked only after moving the sub-expressions to the > top level. > Dynamic.lhs distributed with GHC and Hugs98 utilizes

Re: How to use dynamic types?

2000-08-08 Thread Yoshihiko Ichikawa
On Wed, 09 Aug 2000 00:20:34 +0200, Volker Stolz <[EMAIL PROTECTED]> wrote: > *sigh*. I wonder why comments like this in Dynamic.lhs > > "Provided the implementor of other @Typeable@ instances > takes care of making all the @TyCon@s CAFs (toplevel constants), > this will work." > > ...don´t ge

Re: How to use dynamic types?

2000-08-08 Thread Volker Stolz
*sigh*. I wonder why comments like this in Dynamic.lhs "Provided the implementor of other @Typeable@ instances takes care of making all the @TyCon@s CAFs (toplevel constants), this will work." ...don´t get written in bold, bright and friendly letters across the (HTML-)documentation... Of course

Re: How to use dynamic types?

2000-08-08 Thread Yoshihiko Ichikawa
On Tue, 8 Aug 2000 14:14:42 +0200, Volker Stolz <[EMAIL PROTECTED]> wrote: > I tried using dynamic types, but even the example in Dynamic.lhs fails > (ghc-4.08): > > haskell@monster [14:00:32]> cat > module Main (main) where > > > import Dynamic > > > main = do > > putStrLn (let fTy = mkTy

How to use dynamic types?

2000-08-08 Thread Volker Stolz
I tried using dynamic types, but even the example in Dynamic.lhs fails (ghc-4.08): haskell@monster [14:00:32]> cat module Main (main) where > import Dynamic > main = do > putStrLn (let fTy = mkTyCon "Foo" in show (mkAppTy (mkTyCon ",,") [fTy,fTy,fTy])) haskell@monster [14:03:18]> $HC -o dynt