Changes between Version 1 and Version 2 of Ticket #1702


Ignore:
Timestamp:
Sep 17, 2007 1:04:40 PM (7 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: