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 /tests/trunk/bugs/outputs.post-110.63/bug1315.out
ViewVC logotype

View of /tests/trunk/bugs/outputs.post-110.63/bug1315.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2462 - (download) (annotate)
Sat Apr 28 21:14:48 2007 UTC (12 years, 5 months ago) by gkuan
File size: 1172 byte(s)
post-110.63 elab/flint revision regression tests and outputs
val it = () : unit
signature ASIG =
  sig
    type g
    type n
    type 'a t
    val newG : unit -> g
    val newN : g -> n
    val nodes : g -> n list
    val empty : 'a t
    val add : 'a t * n * 'a -> 'a t
    val look : 'a t * n -> 'a option
    val id : n -> string
  end
structure A : ASIG
signature BSIG =
  sig
    structure A :
      sig
        type g
        type n
        type 'a t
        val newG : unit -> g
        val newN : g -> n
        val nodes : g -> n list
        val empty : 'a t
        val add : 'a t * n * 'a -> 'a t
        val look : 'a t * n -> 'a option
        val id : n -> string
      end
    datatype t = B of {g:A.g, nstring:A.n -> string}
    val mk : string list -> t
  end
ID of new node is: 1
ID of new node is: 2
ID of new node is: 3
c
b
a
structure B : BSIG
functor C(B: sig
               structure A : <sig>
               datatype t = B of {g:A.g, nstring:A.n -> string}
               val mk : string list -> t
             end) :
         sig
           structure A : <sig>
           val show : B.t -> unit
         end
structure C :
  sig
    structure A : <sig>
    val show : B.t -> unit
  end
val test = () : unit


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