First off...this is great! I can't wait to play with all the new features... Also, thank you very much for changing the licensing terms! I look forward to seeing Hugs in a future version of Debian. Now for the comments... 1) The file hugs98-990121-all_tar.gz unpacks into a directory named hugs98-980121-all (the year is wrong). 2) How about adding something like the following to the top-level Readme file: This release also includes the type system features found in Hugs 1.3c; see docs/WhatsNew for a description of these features. 3) Some of the examples in WhatsNew are wrong. The halfListMonad example has a couple of errors; the correct form is: > halfListMonad :: (forall a,b. [a] -> (a -> [b]) -> [b]) -> Monad2 [] > halfListMonad b = MkMonad2 (\x -> [x]) b (MkMonad2 changes to Monad2 and MkMonad changes to MkMonad2). Also, the syntax used in the Appl existential type example no longer works. It must be changed to: > data Appl = forall a. MkAppl (a -> Int) a (a -> a) And there's a typo in the last paragraph of WhatsNew: equailty should be equality. Carl Witty [EMAIL PROTECTED]
