[ ghc-Bugs-1208771 ] forall in pattern type sig has changed from 6.2.2
Bugs item #1208771, was opened at 2005-05-25 14:30 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1208771&group_id=8032 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Compiler (Type checker) Group: 6.4 Status: Open Resolution: None Priority: 5 Submitted By: Mark Tullsen (mtullsen) Assigned to: Nobody/Anonymous (nobody) Summary: forall in pattern type sig has changed from 6.2.2 Initial Comment: -- The program (straight from documentation :-) -- $ cat Test.hs test = \(f :: forall a. a -> a) -> (f True,f 'a') -- Works fine under 6.2.2 -- tests $ ghci-6.2.2 -fglasgow-exts Test.hs ... Compiling Test ( Test.hs, interpreted ) Ok, modules loaded: Test. -- Doesn't typecheck under 6.4 -- $ ghci-6.4 -fglasgow-exts Test.hs ... Compiling Test ( Test.hs, interpreted ) Test.hs:3:9: Inferred type is less polymorphic than expected Quantified type variable `a' is mentioned in the environment: test :: (a -> a) -> t (bound at Test.hs:3:0) Expected type: forall a1. a1 -> a1 Inferred type: a -> a In a lambda abstraction: \ (f :: forall a. a -> a) -> (f True, f 'a') In the definition of `test': test = \ (f :: forall a. a -> a) -> (f True, f 'a') ... -- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1208771&group_id=8032 ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: Feature request: Windows ZIP Distribution
Bulat Ziganshin <[EMAIL PROTECTED]> writes: SF> That's an impressive reduction in size; compressing the SF> CAB file inside the MSI using the LZW-based compressor SF> that Microsoft provides with their 'makecab' utility didn't LZX (very different from LZW, born long ago, in 1984) btw, while writing this letter i compressed GHC 6.4 installation with cabarc. it results in 33 megs only (!). may be when you creating your installation, you are using MSZIP compression instead of LZX? or you compress with LZX:15, i.e. with minimal 32 kb dictionary instead of LZX:21? Cool, thanks for trying this out, Bulat. When fixing on MSZIP as the compressor for the tool that creates these MSIs sometime ago, I did play with different memory sizes for LZX, but the resulting installers didn't reduce space usage by all that much, so I opted to just go with the cheap&cheerful MSZIP. This wasn't with GHC installers though, and as your experience shows that fixing on always using MSZIP wasn't such a good idea. I'll go with LZX for the next GHC release, as I'm able to reproduce what you're seeing. ... Re: lzma, 7-zip: I'm not questioning the improvements possible going this route, just that I won't be doing it for now. Others are free to offer up other distribution forms, of course. However, as an end-user on a Windows platform, I do prefer using non-executable installers. --sigbjorn ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
