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

SCM Repository

[smlnj] Annotation of /tests/trunk/bugs/tests.obsolete/bug130.1.sml
ViewVC logotype

Annotation of /tests/trunk/bugs/tests.obsolete/bug130.1.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug 130, compiler bug *)
2 :    
3 :     structure S =
4 :     struct
5 :     datatype 'a T = C
6 :     fun fs(x: 'a T) = x
7 :     end
8 :    
9 :     functor F(type t) =
10 :     struct
11 :     open S
12 :     type FT = t T
13 :     fun ff(x : FT) = fs x
14 :     end
15 :    
16 :     structure SF = F(type t=int)

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