自上而下的递归解析

Question

我需要包含函数parseS,parseL和parseE.这些函数将把已经标记化的"程序"作为输入,表示为令牌列表.

type token = TK_IF | TK_THEN | TK_ELSE | TK_BEGIN | TK_END | TK_PRINT | TK_SEMIC | TK_ID of string;;


let program = [ TK_IF; TK_ID("a"); TK_THEN; TK_BEGIN; TK_PRINT; TK_ID("b"); TK_SEMIC; TK_PRINT; TK_ID("c");  TK_END; TK_ELSE; TK_PRINT; TK_ID("d")];;

并输出这样的东西:

parseS program;;
IF2(ID "a",STATLIST(PRINT (ID "b"),LISTCONT(PRINT (ID "c"),END)),PRINT (ID "d"))

parseL应该看起来像这样

let rec parseL = function
 | TK_END::xs -> (xs,END)
 | TK_SEMIC::xs -> let (rest,stat) = parseS xs
                   let (rest,lst) = parseL rest
                   (rest, LISTCONT(stat,lst))
 | l -> failwith ("error parsing L (expecting TK_END or TK_SEMIC):" + (List.map debug l).ToString())

救命？