1. 01 Oct, 2002 7 commits
  2. 30 Sep, 2002 12 commits
  3. 28 Sep, 2002 2 commits
    • erkok's avatar
      [project @ 2002-09-28 07:12:55 by erkok] · a4dab43e
      erkok authored
      clarifications on the mdo documentation.
    • erkok's avatar
      [project @ 2002-09-28 00:29:32 by erkok] · e9822493
      erkok authored
      documentation for the mdo-notation.
      (I've run this through jade, no syntax errors, but couldn't get
      any html output as my docbook installation is a bit weird: couldn't
      find style-files etc. it'll be great if someone can run it through
      to make sure what I added looks acceptable..)
  4. 27 Sep, 2002 6 commits
    • erkok's avatar
      [project @ 2002-09-27 23:10:59 by erkok] · 61423f88
      erkok authored
      get mfix from MonadRec
    • erkok's avatar
      [project @ 2002-09-27 17:12:23 by erkok] · 0043e4e0
      erkok authored
      make sure we get the name right when we call doStmtListErr
    • simonpj's avatar
      [project @ 2002-09-27 12:42:42 by simonpj] · 278092c8
      simonpj authored
      Wibbles to improve error reporting
    • simonpj's avatar
      [project @ 2002-09-27 08:20:43 by simonpj] · dbc254c3
      simonpj authored
              Implement recursive do-notation
      This commit adds recursive do-notation, which Hugs has had for some time.
      	mdo { x <- foo y ;
      	      y <- baz x ;
      	      return (y,x) }
      turns into
      	do { (x,y) <- mfix (\~(x,y) -> do { x <- foo y;
      					    y <- baz x }) ;
      	     return (y,x) }
      This is all based on work by Levent Erkok and John Lanuchbury.
      The really tricky bit is in the renamer (RnExpr.rnMDoStmts) where
      we break things up into minimal segments.  The rest is easy, including
      the type checker.
      Levent laid the groundwork, and Simon finished it off. Needless to say,
      I couldn't resist tidying up other stuff, so there's no guaranteed I
      have not broken something.
    • simonpj's avatar
      [project @ 2002-09-27 08:16:24 by simonpj] · b7cc3d01
      simonpj authored
           Do type-checking of external-core input
      When we read in an External Core file, we should really type-check it.
      We weren't, because we treated it as if it were trusted, interface-file
      This commit fixes the problem, albeit in a bit of a hacky way.  The
      typechecking is done by Lint, which does not give as friendly error
      messages as does the normal typechecker.  But it's much better than nothing.
      I also removed the entirely-unused 'warnings' from the Lint monad.
    • simonpj's avatar
      [project @ 2002-09-27 07:51:57 by simonpj] · 67491efa
      simonpj authored
  5. 26 Sep, 2002 6 commits
  6. 25 Sep, 2002 7 commits