File: sharing.2.sml

package info (click to toggle)
mlton 20041109-1
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 18,212 kB
  • ctags: 58,085
  • sloc: ansic: 10,386; makefile: 1,178; sh: 1,139; pascal: 256; asm: 97
file content (8 lines) | stat: -rw-r--r-- 188 bytes parent folder | download 
1
2
3
4
5
6
7
8
 
functor F (structure A: sig type t end
	   structure B: sig end
	   structure C: sig type t end
	   sharing A = B
	   sharing B = C) =
   struct
      val _: A.t -> C.t = fn x => x
   end