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: limit test to a single feature
Browse files Browse the repository at this point in the history
  • Loading branch information
FroMage committed Nov 7, 2011
1 parent e0de0db commit 3b4cfa6
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ shared class SequenceOperators() {
// if (c1 satisfies OpenCorrespondence<Natural, String>) {
// c1[n1] := s;
// }
/*
s := c2?[n1];
Natural[] indices = {1, 2, 3};
variable String[] seq1 := c1[indices];
Expand All @@ -24,6 +25,6 @@ shared class SequenceOperators() {
Natural[] spreadMember = n1[].size;
variable Iterable<String>[] spreadInvoke = n1[].lines();
spreadInvoke = n1[].lines{};
*/
}
}

0 comments on commit 3b4cfa6

Please sign in to comment.