File: modules.49.sml

package info (click to toggle)
mlton 20100608-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 34,980 kB
  • ctags: 69,089
  • sloc: ansic: 18,421; lisp: 2,879; makefile: 1,570; sh: 1,325; pascal: 256; asm: 97
file content (15 lines) | stat: -rw-r--r-- 310 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
signature SIG =
   sig
      type t
   end

functor F (structure S1: SIG
           structure S2: SIG
           sharing S1 = S2) =
   struct
   end

structure S1: SIG = struct type t = int end
structure S2: SIG = struct type t = real end
structure Z = F (structure S1 = S1
                 structure S2 = S2)