[MLton-devel] Another incompatibility with Moscow ML:
OS.Path.mkAbsolute
Stephen Weeks
MLton@mlton.org
Sat, 18 Oct 2003 09:23:11 -0700
> Thanks for the patch: now I can compile the entire HOL system.
Great! Out of curiosity, how big is HOL?
> By the way, I've been using -show-basis true quite a lot, and I've got
> a couple of suggestions.
...
> I think it would be more readable to indent just two spaces, like
> this:
...
> 2. Would it be at all possible to print the types of values? There'd
> be plenty of room for this, in light of suggestion 1 :-)
I like both suggestions. So much so that I'd already implemented them
in our internal version :-). For example, here's what the Array
structure now looks like.
structure Array:
sig
type array
type vector
val all: ('a -> bool) -> ('a array -> bool)
val app: ('a -> unit) -> ('a array -> unit)
val appi: ((int * 'a) -> unit) -> ('a array -> unit)
val array: (int * 'a) -> 'a array
val collate: (('a * 'b) -> General.order)
-> (('a array * 'b array) -> General.order)
val copy: {di: int, dst: 'a array, src: 'a array} -> unit
val copyVec: {di: int, dst: 'a array, src: 'a vector} -> unit
val exists: ('a -> bool) -> ('a array -> bool)
val find: ('a -> bool) -> ('a array -> 'a Option.option)
val findi: ((int * 'a) -> bool) -> ('a array -> (int * 'a) Option.option)
val foldl: (('a * 'b) -> 'b) -> ('b -> ('a array -> 'b))
val foldli: ((int * 'a * 'b) -> 'b) -> ('b -> ('a array -> 'b))
val foldr: (('a * 'b) -> 'b) -> ('b -> ('a array -> 'b))
val foldri: ((int * 'a * 'b) -> 'b) -> ('b -> ('a array -> 'b))
val fromList: 'a list -> 'a array
val length: 'a array -> int
val maxLen: int
val modify: ('a -> 'a) -> ('a array -> unit)
val modifyi: ((int * 'a) -> 'a) -> ('a array -> unit)
val sub: ('a array * int) -> 'a
val tabulate: (int * (int -> 'a)) -> 'a array
val update: ('a array * int * 'a) -> unit
val vector: 'a array -> 'a vector
end
If you'd like to get access to this feature and do some beta testing
for us, I'd be happy to put up a package.
-------------------------------------------------------
This SF.net email sponsored by: Enterprise Linux Forum Conference & Expo
The Event For Linux Datacenter Solutions & Strategies in The Enterprise
Linux in the Boardroom; in the Front Office; & in the Server Room
http://www.enterpriselinuxforum.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel