repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
u
[cc1516.git]
/
examples
/
example.spl
diff --git
a/examples/example.spl
b/examples/example.spl
index
0bf275e
..
0387810
100644
(file)
--- a/
examples/example.spl
+++ b/
examples/example.spl
@@
-30,12
+30,12
@@
main ( ) :: Void {
var ok = True;
while(n<20) {
facN = facR (n);
var ok = True;
while(n<20) {
facN = facR (n);
- if (facN != factl (n) || fac
n
!= facL (n)){
+ if (facN != factl (n) || fac
N
!= facL (n)){
print (n : facN : facl (n) : facL (n): []);
ok=False;
}
}
print (n : facN : facl (n) : facL (n): []);
ok=False;
}
}
- print(ok);
+
//
print(ok);
}
// A list based factorial function
}
// A list based factorial function
@@
-67,12
+67,12
@@
reverse(list):: [t] -> [t] {
abs(n)::Int->Int{if(n<0)return -n; else return n;}
//swap the elements in a tuple
abs(n)::Int->Int{if(n<0)return -n; else return n;}
//swap the elements in a tuple
-swap(tuple) :: (a, a) -> (a, a){
-
var tmp = tuple.fst;
-
tuple.fst = tuple.snd;
-
tuple.snd = tmp;
-
return tuple;
-}
+
//
swap(tuple) :: (a, a) -> (a, a){
+
//
var tmp = tuple.fst;
+
//
tuple.fst = tuple.snd;
+
//
tuple.snd = tmp;
+
//
return tuple;
+
//
}
//list append
append(l1, l2) :: [t] -> [t] -> [t] {
//list append
append(l1, l2) :: [t] -> [t] -> [t] {