summaryrefslogtreecommitdiff
path: root/libstd/sleq.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2013-05-28 01:11:51 -0400
committerOri Bernstein <ori@eigenstate.org>2013-05-28 14:55:17 -0400
commitb0a47993a1361f133ca52302eae06b223c36c2ca (patch)
treed0884df1cf30f8709ac35ccaa15b716afc8a9da5 /libstd/sleq.myr
parente2f62755339d913f59d08ceafaa24849cf9da803 (diff)
downloadmc-b0a47993a1361f133ca52302eae06b223c36c2ca.tar.gz
Edit quotes in error message.
This makes it clearer to see what the label is, vs where the error message sis.
Diffstat (limited to 'libstd/sleq.myr')
-rw-r--r--libstd/sleq.myr18
1 files changed, 18 insertions, 0 deletions
diff --git a/libstd/sleq.myr b/libstd/sleq.myr
new file mode 100644
index 0000000..8ad881d
--- /dev/null
+++ b/libstd/sleq.myr
@@ -0,0 +1,18 @@
+pkg std =
+ generic sleq : (a : @a[:], b : @a[:] -> bool)
+;;
+
+generic sleq = {
+ var i
+
+ if a.len != b.len
+ -> false
+ ;;
+
+ for i = 0; i < a.len; i++
+ if a[i] != b[i]
+ -> false
+ ;;
+ ;;
+ -> true
+}