repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
t push origni msatMerge branch 'master' of github.com:dopefishh/cc1516
[cc1516.git]
/
examples
/
example.spl
diff --git
a/examples/example.spl
b/examples/example.spl
index
4a55e35
..
0387810
100644
(file)
--- a/
examples/example.spl
+++ b/
examples/example.spl
@@
-2,9
+2,6
@@
Three ways to implement the f acto rial function in SPL.
First the recursive version .
*/
Three ways to implement the f acto rial function in SPL.
First the recursive version .
*/
-var r = 1;
-var facN = 1;
-var ok = True;
facR(n) :: Int -> Int {
if (n < 2) {
facR(n) :: Int -> Int {
if (n < 2) {
@@
-33,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
@@
-70,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] {