|
@ -1,7 +1,3 @@ |
|
|
defop 2 Left (a ++ b) |
|
|
|
|
|
(a - b) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def foo# 3 |
|
|
def foo# 3 |
|
|
|
|
|
|
|
|
deftype Foo (A -> B) |
|
|
deftype Foo (A -> B) |
|
@ -40,9 +36,9 @@ def empty [] |
|
|
def getFile |
|
|
def getFile |
|
|
(readFile "./parse.js") |
|
|
(readFile "./parse.js") |
|
|
|
|
|
|
|
|
def fileLines |
|
|
;;def fileLines |
|
|
(getFile >>= |
|
|
;; (getFile >>= |
|
|
((mapM_ putStrLn) . lines)) |
|
|
;; ((mapM_ putStrLn) . lines)) |
|
|
|
|
|
|
|
|
def (testUnary n) |
|
|
def (testUnary n) |
|
|
((-n) + n) |
|
|
((-n) + n) |
|
@ -94,3 +90,5 @@ def main |
|
|
(unary + |
|
|
(unary + |
|
|
fileLines + |
|
|
fileLines + |
|
|
(print splitted)) |
|
|
(print splitted)) |
|
|
|
|
|
|
|
|
|
|
|
def blah (3 / 4) |
|
|