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/bug1420.1.out
ViewVC logotype

View of /tests/trunk/bugs/outputs.post-110.63/bug1420.1.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: 424 byte(s)
post-110.63 elab/flint revision regression tests and outputs
val it = () : unit
signature CAT =
  sig
    eqtype cat
    val c : cat
  end
signature L_F =
  sig
    eqtype t
    structure Cat :
      sig
        type cat = t
        val c : cat
      end
    val r : t
  end
signature S =
  sig
    structure Cat :
      sig
        eqtype cat
        val c : cat
      end
    structure LF :
      sig
        eqtype t
        structure Cat : <sig>
        val r : t
      end
  end


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