egison 1.0 → 1.0.1

raw patch · 5 files changed

+5/−37 lines, 5 files

Files

Egison.hs +3/−3
egison.cabal +1/−1
etc/sample/collection-test.egi +0/−17
etc/sample/io-test.egi +1/−12
etc/sample/number-test.egi +0/−4

Egison.hs view

@@ -10,7 +10,7 @@ import IO hiding (try)  welcomeMsg :: String-welcomeMsg = "Egison, version 1.0 : http://hagi.is.s.u-tokyo.ac.jp/~egi/egison/\nWelcome to Egison Interpreter!\n"+welcomeMsg = "Egison, version 1.0.1 : http://hagi.is.s.u-tokyo.ac.jp/~egi/egison/\nWelcome to Egison Interpreter!\n"  byebyeMsg :: String byebyeMsg = "\nLeaving Egison.\nByebye. See you again! (^^)/\n"@@ -506,10 +506,10 @@ braces = P.braces lexer  headSymbol :: Parser Char-headSymbol = oneOf "+-*/="+headSymbol = oneOf "+-*/=:"  restSymbol :: Parser Char-restSymbol = oneOf "!?+-*/="+restSymbol = oneOf "!?+-*/=:"  word :: Parser String word = do first <- (letter <|> headSymbol)

egison.cabal view

@@ -7,7 +7,7 @@ -- The package version. See the Haskell package versioning policy -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for -- standards guiding when and how versions should be incremented.-Version:             1.0+Version:             1.0.1  -- A short (one-line) description of the package. Synopsis:            An Interpreter for the Programming Language Egison

etc/sample/collection-test.egi view

@@ -1,8 +1,3 @@-(load "./etc/lib/base.egi")-(load "./etc/lib/number.egi")-(load "./etc/lib/collection.egi")-(load "./etc/lib/poker-hands.egi")- (test (match-all {{1 2 3} {11} {21 22}} (List (Multiset Integer))         [<cons <cons $x _>           <cons <cons $y _>@@ -187,15 +182,3 @@        [_ <ko>]})))  (test (isStraight? {1 2}))---(define andAnd-  (lambda ($c)-    (match c Circuit-      {[<cons <and-gate $a $r1>-         <cons <and-gate $b <cons $a $r2>>-          $rr>>-        <cons <and-gate a r1>-          <cons <and-gate b (union r1 r2)>-           rr>>]-       [_ c]})))

etc/sample/io-test.egi view

@@ -12,15 +12,4 @@          [$: (write-char : '\n')]}       :))) -(define $main-  (lambda [$:]-    (do {[$: (memorize : 10 20)]-         [$: (memorize : [0 20] 30)]-         [$: (memorize : <test 0 20> 40)]-         [$: (memorize : {0 20 10} 40)]-         [$: (memorize : "abc" 40)]-         [$: (memorize : [0 20] 60)]-         [[$: $n] (remember : {0 20 10})]-         [$: (write : n)]-         [$: (write-char : '\n')]}-      :)))+(execute)

etc/sample/number-test.egi view

@@ -1,7 +1,3 @@-(load "./etc/lib/base.egi")-(load "./etc/lib/number.egi")-(load "./etc/lib/collection.egi")- (define $fib   (lambda [$n]     (match n Nat