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/bug1318.1.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug1318.1.sml *)
2 :     (* this fails with g actual: ?.S.tree -> ?.S.info *)
3 :    
4 :     funsig FSIG(type info) =
5 :     sig
6 :     type node
7 :     type info
8 :     type tree
9 :     val f : node -> info
10 :     end;
11 :    
12 :     functor FUN(functor F : FSIG):
13 :     sig
14 :     type info
15 :     type node
16 :     val g : node -> info
17 :     end =
18 :     struct
19 :     type info = int * bool
20 :     structure S = F(type info = info)
21 :     type node = S.node
22 :     val g = S.f
23 :     end;
24 :    

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