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

View of /tests/trunk/bugs/outputs.post-110.63/bug129.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: 436 byte(s)
post-110.63 elab/flint revision regression tests and outputs
val it = () : unit
signature S_sig =
  sig
    type 'a T
    val fs : 'a T -> 'a T
  end
functor S(<param>: sig end) :
         sig
           strange tycon: [E]
           val fs : 'a T -> 'a T
         end
functor F(<param>: sig type t end) :
         sig
           structure S1 : <sig>
           strange tycon: [E]
           val fs : 'a S1.T -> 'a S1.T
           strange tycon: [E]
           val ff : FT -> t S1.T
         end


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