Changes between Version 1 and Version 2 of Ticket #1702


Ignore:
Timestamp:
Sep 17, 2007 1:04:40 PM (8 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #1702 – Description

    v1 v2  
    55>    infix 2 `Disjoint`
    66>
    7 >    labelZip :: (n :=: a `Disjoint` m :=: b) => n -> m -> [a] -> [b] -> [n :=: a :+: m :=: b]
     7>    labelZip :: (n :=: a `Disjoint` m :=: b)
     8>             => n -> m -> [a] -> [b] -> [n :=: a :+: m :=: b]
    89}}}
    910gives the error: