Syntax of functional dependencies

Till Mossakowski [email protected]
Thu, 25 Apr 2002 13:00:41 +0200


I errorneously specified categories as

class (Eq object, Eq morphism) => 
      Category id object morphism | id ->, id -> morphism
  where  o :: id -> morphism -> morphism -> Maybe morphism
         dom, cod :: id -> morphism -> object

it should have been

class (Eq object, Eq morphism) => 
      Category id object morphism | id -> object, id -> morphism
  ...                                     ^^^^^^

- but ghci 5.02.2 does not complain. Why?

Till Mossakowski    

-- 
Till Mossakowski                Phone +49-421-218-4683
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            [email protected]           
P.O.Box 330440, D-28334 Bremen  http://www.tzi.de/~till