Skip to content
Snippets Groups Projects
  1. Mar 30, 2000
  2. Mar 29, 2000
  3. Mar 28, 2000
  4. Mar 27, 2000
    • Simon Peyton Jones's avatar
      [project @ 2000-03-27 16:22:09 by simonpj] · 783e505e
      Simon Peyton Jones authored
      Fix a bug in import listing in interface files that meant we lost track of
      interface files.  This fixes the problem that led Sven to add lots of
      import PprType() decls.  I've removed them all again!
      783e505e
    • Simon Peyton Jones's avatar
      [project @ 2000-03-27 13:24:12 by simonpj] · a127213c
      Simon Peyton Jones authored
      a) Move Unfolding and UnfoldingGuidance to CoreSyn
         As a result, remove several SOURCE imports
         Shrink CoreSyn.hi-boot considerably
         Delete CoreUnfold.hi-boot altogether
      
      b) Add CoreUtils.exprIsConApp_maybe
         Use in PrelRules to fix a bug in the dataToTag rule
      
      c) Fix boolean polarity error in Simplify.lhs
      a127213c
    • Simon Peyton Jones's avatar
      [project @ 2000-03-27 13:23:49 by simonpj] · 8ddfc3c1
      Simon Peyton Jones authored
      Improve the error messages given when a definition isn't polymorphic enough.
      In paticular, for this program:
      
          let v = runST (newSTRef True)
          in
          runST (readSTRef v)
      
      we get the message
      
          Inferred type is less polymorphic than expected
      	Quantified type variable `s' escapes
      	It is reachable from the type variable(s) `a'
      	  which are free in the signature
          Signature type:     forall s. ST s a
          Type to generalise: ST s (STRef s Bool)
          When checking an expression type signature
          In the first argument of `runST', namely `(newSTRef True)'
          In the right-hand side of a pattern binding: runST (newSTRef True)
      8ddfc3c1
    • Simon Peyton Jones's avatar
      [project @ 2000-03-27 08:58:37 by simonpj] · 36908417
      Simon Peyton Jones authored
      Fix sig for guard in module header
      36908417
    • Simon Marlow's avatar
      [project @ 2000-03-27 08:50:15 by simonmar] · f9e2bf38
      Simon Marlow authored
      Don't treat 'ccall' and 'stdcall' as reserved words.  This fixes
      another problem with bootstrapping.
      f9e2bf38
    • Simon Marlow's avatar
      [project @ 2000-03-27 08:46:15 by simonmar] · d807babf
      Simon Marlow authored
      rearrange tokens to be in roughly the same order as everywhere else.
      d807babf
  5. Mar 25, 2000
    • sven.panne@aedion.de's avatar
      [project @ 2000-03-25 12:38:40 by panne] · cca2c69f
      sven.panne@aedion.de authored
      Adding a bunch of `import PprType ()' to make 4.07 compile itself.
      Strangely enough, compilation with 4.06 worked without these, so
      this is probably only fighting the symptoms of something deeper,
      and somebody should have a look at it. But for now, I simply need
      a bootstrapping 4.07...
      cca2c69f
  6. Mar 24, 2000
  7. Mar 23, 2000
Loading