% -*- mode: Noweb; noweb-code-mode: icon-mode -*-
\section{Finding definitions in Standard ML}
<<*>>=
procedure rcsinfo () 
  return "$Id: smldefs.nw,v 1.19 2008/10/06 01:03:05 nr Exp nr $" ||
         "$Name: v2_12 $"
end
procedure main(args)
  go()
end
<<*>>=
procedure postpass(name, arg)
  static kind, definers, id1, id2, reserved
  initial { kind := "bogus"
            definers := ["fun", "val", "structure", "signature", "and", "functor",
			 "type", "eqtype", "datatype", "withtype", "exception"]
	    id1 := &letters ++ &digits ++ '\'_'
            id2 := '!%&$+-/:<=>?@\\~^|#*`'
            reserved := set()
            every insert(reserved, !"*|:=#_" | "->" | "=>")
          }
  case name of {
    "begin" : arg ? kind := tab(upto(' ')|0)
    "text" : if kind == "code" then arg ?
        if =(""|" "|"  ") & =!definers & tab(many(' ')) then {
            skiptyvars(); optwhite()
            writedefn(1(id := tab(many(id1 | id2)), not member(reserved, id)))
        }
  }
  return
end

procedure prepass(name, arg)
  if name == "end" then writedefn(&null) # force newline
end

procedure skiptyvars()
  suspend ="'" || tab(many(&letters ++ &digits ++ '\'_')) |
          ="(" || tab(bal(')', '(', ')')) || =")"
end       

procedure optwhite()
 suspend tab(many(' \t')) | ""
end