Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/tests/modules/outputs.pre-110.5/301.out
ViewVC logotype

View of /sml/trunk/tests/modules/outputs.pre-110.5/301.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 795 - (download) (annotate)
Fri Mar 2 19:10:50 2001 UTC (19 years, 6 months ago) by dbm
File size: 634 byte(s)
adding new files, mostly modules test outputs
val it = () : unit
signature S1 = sig type t end
signature S2 =
  sig
    structure U : sig type t end
    datatype r = Kr of U.t
  end
signature S3 =
  sig
    structure T :
      sig
        structure U : <sig>
        datatype r = Kr of U.t
      end
  end
signature S4 =
  sig
    type s
    datatype t = Kt of s
  end
signature S5 =
  sig
    structure C : sig structure T : <sig> end
    structure D : sig structure T : <sig> end
    structure E :
      sig
        type s
        datatype t = Kt of s
      end
    sharing type E.t = C.T.U.t
  end

uncaught exception Unbound
  raised at: elaborate/elabmod.sml:1329.39-1329.49

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