Tritlo / PropR

Genetic program repair using GHC
MIT License
30 stars 2 forks source link

Operators cause parse errors #52

Closed Tritlo closed 3 years ago

Tritlo commented 3 years ago

Current VERBOSE output is

Expr_Ex  | final cmd is /app/endemic /input/Expr.hs --log-level=VERBOSE  --log-file=/output/docker-endemic.log  --config=/config/docker_config.json 
Expr_Ex  | 
Expr_Ex  | <interactive>:1316:5: error: parse error on input ‘=’
Expr_Ex  | endemic: parse failed in: `let
Expr_Ex  |   fake_target_add
Expr_Ex  |     = (let
Expr_Ex  |          add :: Expr -> Expr -> Expr
Expr_Ex  |          cos :: Expr -> Expr
[... Here come alle other type declarations ...]
Expr_Ex  |          x :: Expr
Expr_Ex  |          size exp
Expr_Ex  |            = case exp of
Expr_Ex  |                Num _ -> 0
Expr_Ex  |                Arith _ exp1 exp2 -> 1 + size exp1 + size exp2
Expr_Ex  |                Func _ exp -> 1 + size exp
Expr_Ex  |                Var -> 0
Expr_Ex  |          x = Var
[... Here come all other declarations ... ]
Expr_Ex  |   fake_target_cos
Expr_Ex  |     = (let
Expr_Ex  |          add :: Expr -> Expr -> Expr
Expr_Ex  |          cos :: Expr -> Expr
[ ... Repeat for all other toplevel defs ... ]
Expr_Ex  | in _`
Expr_Ex  | CallStack (from HasCallStack):
Expr_Ex  |   error, called at src/Endemic/Eval.hs:156:36 in Endemic-0.5.0-inplace:Endemic.Eval
Expr_Ex  |   parseExprNoInit, called at src/Endemic/Eval.hs:151:3 in Endemic-0.5.0-inplace:Endemic.Eval

SideNote: Props are not listed as toplevel declarations

Originally posted by @lapplislazuli in https://github.com/Tritlo/Endemic/issues/50#issuecomment-888056880