copyleft: gplv3 added and set repo to public
[calu.git] / 3a_asm / Expr_eval.hs
index 1b12f4b7b3e1401287e286aa9d9f8ac4d18a7947..d31cef7527130a10374843d438ccce2a09c82b45 100644 (file)
@@ -1,4 +1,25 @@
-module Expr_eval (expr) where
+{-   `Deep Thought', a softcore CPU implemented on a FPGA
+
+    Copyright (C) 2010 Markus Hofstaetter <markus.manrow@gmx.at>
+    Copyright (C) 2010 Martin Perner <e0725782@student.tuwien.ac.at>
+    Copyright (C) 2010 Stefan Rebernig <stefan.rebernig@gmail.com>
+    Copyright (C) 2010 Manfred Schwarz <e0725898@student.tuwien.ac.at>
+    Copyright (C) 2010 Bernhard Urban <lewurm@gmail.com>
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>. -}
+
+module Expr_eval (expr, testExpr) where
 
 import DTFormat
 
@@ -10,6 +31,7 @@ import qualified Text.ParserCombinators.Parsec.Token as P
 import Text.ParserCombinators.Parsec.Language
 import System.IO
 import Data.Word
+import Data.List
 import Data.Bits
 
 lexer :: P.TokenParser ()
@@ -17,7 +39,6 @@ lexer = P.makeTokenParser (haskellDef { reservedOpNames = ["*","/","+","-","<<",
 
 decimal = P.decimal lexer
 hexadecimal = P.hexadecimal lexer
-parens = P.parens lexer
 reservedOp = P.reservedOp lexer
 
 expr :: [DictElem] -> Parser Word32
@@ -48,16 +69,17 @@ factor_spaces d = do
 factor :: [DictElem] -> Parser Word32
 factor d =
        do {
-               parens (expr d);
+               char '('; r <- expr d; char ')';
+               return r
        } <|> do {
                -- define or label
                s <- foldl1 (<|>) (fmap (try . string . fst) d);
                return $ (get_elem s d)
-       } <|> do {
+       } <|> try (do {
                string "0";
                r <- hexadecimal;
                return $ fromInteger r
-       } <|> do {
+       } <|> do {
                r <- decimal;
                return $ fromInteger r
        } <?> "factor"