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

Annotation of /tests/trunk/bugs/tests.obsolete/bug481.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug481.sml *)
2 :    
3 :     signature S = sig
4 :     datatype a = A | B of string
5 :     datatype b = B | C
6 :     end;
7 :    
8 :     functor F(S:S) =
9 :     struct
10 :     open S
11 :    
12 :     fun matchA A = true
13 :     | matchA _ = false
14 :    
15 :     fun matchB B = true
16 :     | matchB _ = false
17 :    
18 :     fun matchC C = true
19 :     | matchC _ = false
20 :     end;
21 :    
22 :     structure S = F (datatype a = A | B of string
23 :     datatype b = B | C );

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