[cvs-nhc98] cvs commit: hat/src/hattools HatSource.hs

[olaf at haskell.org]

olaf        2004/10/12 11:21:23 PDT

  Modified files:
    src/hattools         HatSource.hs 
  Log:
  Now it is also possible to declare trusted reductions to be wrong or of unknown correctness.
  
  So the difference between trusted and suspected reductions is that without a different declaration by the programmer the former are by default correct, the later are by default unknown.
  
  Revision  Changes    Path
  1.14      +38 -21    hat/src/hattools/HatSource.hs