15-212-X: Homework Assignment 6
Signature Documentation Generation

Signature PARSER

signature PARSER =
sig

structure Lexer : LEXER

datatype sigs = Sigs of sigdecl list

and sigdecl = Sigdecl of string * sigexp

and sigexp = SigexpSpec of spec

| SigexpIdf of idfseq

and spec = SpecVal of string * idfseq

and typedesc = Typedesc of idfseq * idfseq option

and datadesc = Datadesc of (idfseq * idfseq) list

and idfseq = Idfseq of string list

type documentation = (string * string) list

exception Error of string

val parse : Lexer.token MStream.stream -> sigs * documentation

val toString : sigs -> string

end;

Signature PARSER

Lexer: Please, fill in
sigs: Please, fill in
sigdecl: Please, fill in
sigexp: Please, fill in
spec: Please, fill in
typedesc: Please, fill in
datadesc: Please, fill in
idfseq: Please, fill in
documentation: Please, fill in
Error: Please, fill in
parse t: parses the stream of lexical tokens t and generates the corresponding parse tree for an (appropriately simplified) SML grammar, together with the documentation information contained in the source program.
toString s: prints the abstract signatures s