Re: Type checking of partial programs

2008-03-21 Thread Jean-Philippe Bernardy
2008/3/20 ac [EMAIL PROTECTED]: Is anybody interested in working on this? This is a project I've been interested in for some time, but recognize I probably need some guidance before I go off and start hacking on it. As dcoutts pointed out on #haskell-soc, this may be of particular interest to

RE: Optimization beyond the Module Border

2008-03-21 Thread Simon Peyton-Jones
| Would it be possible for the compiler to say something like: You are | applying level 2 optimization but some dependencies where compiled without | optimization enabled. To get full optimization, consider recompiling x,y,z | with -O2 - at least this would give us a fighting chance to 'fix'