Loading ...
Sorry, an error occurred while loading the content.
 

Module type constraints

Expand Messages
  • rixed@happyleptic.org
    I ran into a case where this a constraint with module A = B and module C = D was working where with module C = D and module A = B was rejected. I don t
    Message 1 of 1 , Feb 10, 2010
      I ran into a case where this a constraint "with module A = B and module
      C = D" was working where "with module C = D and module A = B" was
      rejected.

      I don't understand why the order of these constraint clauses matter.

      Any idea ?
    Your message has been successfully submitted and would be delivered to recipients shortly.