Skip to content
This repository has been archived by the owner on Apr 13, 2023. It is now read-only.

Commit

Permalink
Updated test for #72: sequence operators: removed M2 feature array as…
Browse files Browse the repository at this point in the history
…signment
  • Loading branch information
FroMage committed Nov 7, 2011
1 parent 65fbc07 commit e0de0db
Showing 1 changed file with 4 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,10 @@ shared class SequenceOperators() {

void sequence(Correspondence<Natural, String> c1, Correspondence<Natural,String>? c2) {
variable String? s := c1[n1];
if (c1 satisfies OpenCorrespondence<Natural, String>) {
c1[n1] := s;
}
// M2:
// if (c1 satisfies OpenCorrespondence<Natural, String>) {
// c1[n1] := s;
// }
s := c2?[n1];
Natural[] indices = {1, 2, 3};
variable String[] seq1 := c1[indices];
Expand Down

0 comments on commit e0de0db

Please sign in to comment.