RE: GHC Alpha port?

2001-07-16 Thread Simon Marlow
On 2001-07-13T16:55:57-0400, Ken Shan wrote: Current hurdle: ghc-inplace doesn't seem to be finding its .hi files for basic stuff. puffin:~$ cat Main.hs module Main where import IO main = putStrLn Hello, world! puffin:~$

GHC 5.01 Zarjaz: Test release for Windows

2001-07-16 Thread Reuben Thomas
There's a test InstallShield for Windows of GHC 5.01 now available at http://www.haskell.org/ghc/dist/5.00.2/ghc-5-01.exe There is no link to this from the web pages, as it's not intended for general consumption. This is a thrill-seekers' release (hence the moniker). Please do try it out and

do's and error messages

2001-07-16 Thread George Russell
If you have a type error message at the very start of a do statement, the result can be rather confusing, because the typechecker doesn't know that do's are almost always have type (IO (something)) and so tries to shoehorn the monad to fit the type. This has actually happened to me several

RE: do's and error messages

2001-07-16 Thread Simon Peyton-Jones
Here's an example: f x = do { c ; putStrLn x; return () } Test.hs:3: Couldn't match `[]' against `IO' Expected type: [t] Inferred type: IO () In the application `putStrLn x' in a `do' expression pattern binding: putStrLn x I don't see an easy way to improve

Re: do's and error messages

2001-07-16 Thread Ken Shan
On 2001-07-16T09:48:46-0700, Simon Peyton-Jones wrote: Here's an example: f x = do { c ; putStrLn x; return () } Would asIO :: IO a - IO a asIO = id help here? -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig See the sun in the midst of the rain.