Ml-yacc解析问题..处理类型 "unit"

Question

首先，这是一个家庭作业。我必须制作一个程序，它可以解析这里描述的语言：http://www.cs.princeton.edu/courses/archive/spring12/cos320/resources/fun_language_definition.html

这是有趣语言的一个例子：

 fun id(x:<int,int>):<int,int> = x 
 fun main(arg:int):int = id(3)

这应该被解析为：

[((1,1),(id"id",id"x",Tupletp([Inttp,Inttp]),Tupletp([Inttp,Inttp]),Id(id"x"))), 
((2,1),(id"main",id"arg",Inttp,Inttp, Call (Id(id"id"),Int 3)))]

我将给出我的代码的某些部分的快照：

prog: fundeclist EOF            (fundeclist)
fundeclist: fundec                  ([fundec])
| fundeclist fundec             (fundeclist @ [fundec])
fundec: FUN ID LPAREN ID COLON ftype RPAREN COLON ftype EQ exp 
    ( ((FUNleft, expright), (Symbol.symbol ID1, 
          Symbol.symbol ID2, A.Inttp, A.Inttp, exp)) )      (* FIXME types *)
exp:
LPAREN exp RPAREN           (exp)
| ID                        (A.Pos((IDleft, IDright), 
                             A.Id (Symbol.symbol(ID)) ))
| INT                       (A.Pos((INTleft,INTright),
                             A.Int(INT)))

Exp将继续使用Fun语言中的各种可能的表达。我还有一些上面的部分，我声明了终端，非终端，assoc规则。

现在，我遇到的最大问题是在编译代码后立即出现的SML消息：

fun.grm.sml:342.60-346.5 Error: operator and operand don't agree [tycon mismatch]
operator domain: unit -> Absyn.prog
operand:         unit -> unit
in expression:
prog (fn _ => let val <binding> in fundeclist end)
fun.grm.sml:362.6-362.27 Error: operator and operand don't agree [tycon mismatch]
operator domain: 'Z list * 'Z list
operand:         unit * Absyn.fundec list
in expression:
fundeclist @ fundec :: nil
val it = false : bool

我使用非终端的方式有问题吗？在解析中，这个错误通常说明什么？这个错误是从下到上传播的，所以我一直在尝试用伪值进行各种替换，以使错误消失——直到我到达这里。如何解决此问题？

Answer 1

我终于发现了错误。（可能对其他人有用）

fundec和fundeclist的%非术语声明是错误的。我只是省略了标记"of…"，以指定fundec/fundeclist实际上有一个值。

正确版本：

%nonterm fundec of A.fundec | fundeclist of A.fundec list 

我的初始版本：

%nonterm fundec  | fundeclist 

显然，在这种情况下，fundec和fundeclist的价值观是一致的。