1. 08 Oct, 2002 1 commit
    • wolfgang's avatar
      [project @ 2002-10-08 08:03:01 by wolfgang] · d04fb5dc
      wolfgang authored
      Make the new Posix bindings compile on Mac OS X.
      Most notable, Mac OS X lacks
      *) lchown
      *) SIGPOLL
      I don't know of a replacement of either, so they are just left out when
      they are not detected by configure.
      d04fb5dc
  2. 06 Oct, 2002 1 commit
  3. 05 Oct, 2002 3 commits
  4. 02 Oct, 2002 3 commits
  5. 01 Oct, 2002 8 commits
  6. 30 Sep, 2002 12 commits
  7. 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.
      a4dab43e
    • 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..)
      e9822493
  8. 27 Sep, 2002 6 commits
    • erkok's avatar
      [project @ 2002-09-27 23:10:59 by erkok] · 61423f88
      erkok authored
      get mfix from MonadRec
      61423f88
    • 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
      0043e4e0
    • simonpj's avatar
      [project @ 2002-09-27 12:42:42 by simonpj] · 278092c8
      simonpj authored
      Wibbles to improve error reporting
      278092c8
    • 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.
      dbc254c3
    • 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
      material.
      
      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.
      b7cc3d01
    • simonpj's avatar
      [project @ 2002-09-27 07:51:57 by simonpj] · 67491efa
      simonpj authored
      typo
      67491efa
  9. 26 Sep, 2002 4 commits