Ошибка интерпретатора OCaml, слишком много аргументов для "eval FunCall R" - PullRequest
Новая
       42

Ошибка интерпретатора OCaml, слишком много аргументов для "eval FunCall R"

0 голосов
/ 10 января 2019

Я пишу переводчик языка с OCaml.

С ApplyOver мне нужно отобразить функцию на каждое значение словаря типов, которое состоит из (ide * exp) -> ("ключ", значение).

Если функция «fun x-> x + 1» в словаре («key1», Eint 2), («key2», Eint 3), то ApplyOver добавит +1 к 2 и +1 к 3 .

У меня есть эта ошибка в последней строке, Эта функция имеет тип exp -> evT env -> evT Он применяется к слишком многим аргументам; может быть, вы забыли `; '.

Код (без стандартных оценок): 

type exp = ... | Dict of (ide * exp) list | ApplyOver of exp * exp;;
type evT = ... | DictVal of (ide * exp) list

let rec eval (e : exp) (r : evT env) : evT = match e with

Dict(pairs) -> 
    if invariant pairs then DictVal(evalDictList pairs r) 
    else failwith("The Dictionary has multiple copy of the same key")|
ApplyOver(ex, dict) ->
    (match (eval dict r) with
        DictVal(pairs) -> DictVal(applyover ex pairs)|
        _-> failwith ("not a dictionary"))|
Estring s -> String s |
Eint n -> Int n |
Ebool b -> Bool b |
IsZero a -> iszero (eval a r) |
Den i -> applyenv r i |
Eq(a, b) -> eq (eval a r) (eval b r) |
Prod(a, b) -> prod (eval a r) (eval b r) |
Sum(a, b) -> sum (eval a r) (eval b r) |
Diff(a, b) -> diff (eval a r) (eval b r) |
Minus a -> minus (eval a r) |
And(a, b) -> et (eval a r) (eval b r) |
Or(a, b) -> vel (eval a r) (eval b r) |
Not a -> non (eval a r) |
Ifthenelse(a, b, c) -> 
    let g = (eval a r) in
        if (typecheck "bool" g) 
            then (if g = Bool(true) then (eval b r) else (eval c r))
            else failwith ("nonboolean guard") |
Let(i, e1, e2) -> eval e2 (bind r i (eval e1 r)) |
Fun(i, a) -> FunVal(i, a, r) |
FunCall(f, eArg) -> 
    let fClosure = (eval f r) in
        (match fClosure with
            FunVal(arg, fBody, fDecEnv) -> 
                eval fBody (bind fDecEnv arg (eval eArg r)) |
            RecFunVal(g, (arg, fBody, fDecEnv)) -> 
                let aVal = (eval eArg r) in
                    let rEnv = (bind fDecEnv g fClosure) in
                        let aEnv = (bind rEnv arg aVal) in
                            eval fBody aEnv |
            _ -> failwith("non functional value")) |
    Letrec(f, funDef, letBody) ->
            (match funDef with
                Fun(i, fBody) -> let r1 = (bind r f (RecFunVal(f, (i, fBody, r)))) in
                                                eval letBody r1 |
                _ -> failwith("non functional def"))

and evalDictList (pairs : (ide * exp) list) (r : evT env) : (ide * evT) list = match pairs with
    [ ] -> [ ] |
    (key,value) :: other -> (key, eval value r) :: evalDictList other r

and applyover (ex : exp) (listtoscan : (ide * evT) list) : (ide * evT) list = match listtoscan with
    [ ] -> [ ] |
    (key,value) :: other -> (key, eval FunCall(ex, value) r) :: applyover ex other;;

1 Ответ

0 голосов
/ 10 января 2019

Приложение функции имеет второй наивысший приоритет после вызовов методов (и аналогичных определяемых пользователем операторов). Таким образом, компилятор читает eval FunCall(ex, value) r как 

 (eval FunCall) (ex, value) r

пока вы намеревались написать 

 eval (Funcall(ex,value)) r
...