summaryrefslogtreecommitdiff
path: root/libstd
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-05-01 02:32:24 -0400
committerOri Bernstein <ori@eigenstate.org>2014-05-01 02:32:24 -0400
commit6734665cb2214ce148e46b719ed6ae36d266f037 (patch)
treecbb1d4777b45015c6f42980be437eac6b7deda28 /libstd
parent099d9cb114e45459527515d955e85ef620024dbd (diff)
downloadmc-6734665cb2214ce148e46b719ed6ae36d266f037.tar.gz
remove 'forwardcopy' predicate.
It just checks if a <= b; just inline the check.
Diffstat (limited to 'libstd')
-rw-r--r--libstd/slcp.myr10
1 files changed, 1 insertions, 9 deletions
diff --git a/libstd/slcp.myr b/libstd/slcp.myr
index 71b5ca6..1035a29 100644
--- a/libstd/slcp.myr
+++ b/libstd/slcp.myr
@@ -13,7 +13,7 @@ generic slcp = {a : @a[:], b : @a[:]
addr_a = a castto(@a#) castto(intptr)
addr_b = b castto(@a#) castto(intptr)
- if forwardcopy(addr_a, addr_b)
+ if addr_a <= addr_b
for i = 0; i < a.len; i++
a[i] = b[i]
;;
@@ -24,11 +24,3 @@ generic slcp = {a : @a[:], b : @a[:]
;;
}
-
-const forwardcopy = {a, b
- if a <= b
- -> true
- else
- -> false
- ;;
-}