log.txt

051128: Trying to use pfe

  Had to change one use of (Just x <- rename x) in a guard. The result
  is quite as nice, but it is Haskell98.

  Next problem: deriving Data is accepted by pfe - sending an email to
    hallgren@cse.ogi.edu asking to pointers.

051117: PJ reading code (code review)

  Syntax.Explanation:

    I don't get this type (and it is hardly used)
      InCode: is only used in this module (in def. of getRange)
      ConcreteExpr: only used in getConcreteExpr - returns first Expr only
      ConcreteDecls: never used, and I don't understand it
      explain: never used, strange to allow empty list (breaks invariant)

    Explanation: what is a "derivation"? word never used elsewhere in
      the Agda2 code.

  Syntax.Abstract:

    What is Expl used for in most Expr?

  {- trying to get pfe going to use it to find uses -}