SCM Repository

[smlnj] View of /tests/trunk/modules/outputs.post-110.61/180.2.out

[smlnj] / tests / trunk / modules / outputs.post-110.61 / 180.2.out

View of /tests/trunk/modules/outputs.post-110.61/180.2.out

Revision 2426 - (download) (annotate)
Wed Apr 18 19:19:16 2007 UTC (12 years, 8 months ago) by gkuan
File size: 237 byte(s)

post FLINT primop overhaul pretty-printing revision reference outputs

val it = () : unit
signature S1 =
  sig
    structure A :
      sig
        type t
        type s
      end
    structure B :
      sig
        type v
        type s
      end
    sharing type B.v = A.s
    sharing type B.s = A.t
  end

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0