Make functions top-level

[julianhyde]

Standard ML defines that several functions and operators are top-level, which means that they can be used without their structure name. For example, List.hd can be written hd. A couple have different names: for example vector abbreviates Vector.fromList, and real abbreviates Real.fromInt.

This change adds a test for all top-level functions:

function	Qualfied name	Comments
val ! : 'a ref -> 'a	General.!	not yet implemented
val := : 'a ref * 'a -> unit	General.:=	not yet implemented
val @ : ('a list * 'a list) -> 'a list	List.@	not yet implemented
val ^ : string * string -> string	String.^	not yet implemented
val app : ('a -> unit) -> 'a list -> unit	List.app
val before : 'a * unit -> 'a	General.before	not yet implemented
val ceil : real -> int	Real.ceil
val chr : int -> char	Char.chr (*) not yet implemented
val concat : string list -> string	String.concat
val exnMessage : exn -> string	General.exnMessage	not yet implemented
val exnName : exn -> string	General.exnName	not yet implemented
val explode : string -> char list	String.explode
val floor : real -> int	Real.floor
val foldl : ('a*'b->'b)-> 'b -> 'a list -> 'b	List.foldl
val foldr : ('a*'b->'b)-> 'b -> 'a list -> 'b	List.foldr
val getOpt : ('a option * 'a) -> 'a	Option.getOpt
val hd : 'a list -> 'a	List.hd
val ignore : 'a -> unit	General.ignore
val implode : char list -> string	String.implode
val isSome : 'a option -> bool	Option.isSome
val length : 'a list -> int	List.length
val map : ('a -> 'b) -> 'a list -> 'b list	List.map
val not : bool -> bool	Bool.not
val null : 'a list -> bool	List.null
val o : ('a->'b) * ('c->'a) -> 'c->'b	General.o	not yet implemented
val ord : char -> int	Char.ord	not yet implemented
val print : string -> unit	TextIO.print	not yet implemented
val real : int -> real	Real.fromInt
val ref : 'a -> 'a ref	primitive	not yet implemented
val rev : 'a list -> 'a list	List.rev
val round : real -> int	Real.round
val size : string -> int	String.size
val str : char -> string	String.str
val substring : string * int * int -> string	String.substring
val tl : 'a list -> 'a list	List.tl
val trunc : real -> int	Real.trunc
val use : string -> unit	implementation dependent
val valOf : 'a option -> 'a	Option.valOf
val vector : 'a list -> 'a vector	Vector.fromList