[cvs-nhc98] patch applied (hat): Quote the function name passed to hat-observe from hat-trail.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:17:12 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Change (f . g) = \x-> f (g x) to (.) f g x = f (g x)
Next message: [cvs-nhc98] patch applied (hat): In Hat combinator library reintroduce stack for entered redexes and use a buffer only for deferred updating of reduced redexes.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri May  3 09:28:21 PDT 2002  malcolm
  * Quote the function name passed to hat-observe from hat-trail.
  (To avoid the shell interpreting <= as file redirection etc.!)

    M ./src/hattools/HatTrail.hs -1 +1

Previous message: [cvs-nhc98] patch applied (hat): Change (f . g) = \x-> f (g x) to (.) f g x = f (g x)
Next message: [cvs-nhc98] patch applied (hat): In Hat combinator library reintroduce stack for entered redexes and use a buffer only for deferred updating of reduced redexes.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list