The simplest program

[Simon Peyton-Jones]

| > This bug is older! ghc 5.04 does not enforce that the return type of
| > main
| > is (). In fact with 5.04 you can return anything you want and get
very
| > fancy exception on termination if you return a more complex data
type.
| 
| I don't know about an exception on termination (Is it a known bug? If
| not, it should be reported), but returning anything is allowed.

I didn't know about this.  This works OK: main = return "foo".  So can
you give me an example that fails.

I'll attend to the "simplest program" problem.

Simon