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 /sml/trunk/tests/bugs/tests/bug169.sml
ViewVC logotype

Annotation of /sml/trunk/tests/bugs/tests/bug169.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 548 - (view) (download)

1 : dbm 548 (* bug169.sml *)
2 :     (* inferring eqtypes in signatures *)
3 :    
4 :     functor F() = struct abstype t = E with val mk_t = E end end;
5 :     structure f = F();
6 :     structure f = struct abstype t = E with val mk_t = E end end;

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