RE: two questions on 4-08-notes

2000-07-07 Thread Simon Peyton-Jones
| Sorry for the ignorance, just two questions on 4-08-notes.sgml. | | > Result type signatures now work. Check out the user guide, under Language extensions/ Scoped type variables. | > Constant folding is now done by Rules Ditto Language extensions/Rewrite rules. Constant folding is doing th

two questions on 4-08-notes

2000-07-07 Thread S.D.Mechveliani
Dear GHC, Sorry for the ignorance, just two questions on 4-08-notes.sgml. > Result type signatures now work. > > [..] > > Constant folding is now done by Rules What do these two mean, or where they are explained? Maybe, you can give an example? -- Sergey Mechveliani [EMAIL PR