[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