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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug1231.sml *)
2 :    
3 :     signature CONS =
4 :     sig
5 :     type 'a sign
6 :     type 'a constructor
7 :    
8 :     val new : {name : string,
9 :     signa : 'a sign} -> 'a constructor
10 :    
11 :     end;
12 :    
13 :     structure Cons : CONS =
14 :     struct
15 :    
16 :     datatype sort =
17 :     SUB
18 :     | CSUB
19 :    
20 :     datatype datacon = DCON of {name : string,
21 :     arity : int,
22 :     sign : sort list,
23 :     sort : sort,
24 :     strict : bool}
25 :    
26 :     type 'a constructor = datacon
27 :     datatype 'a sign = Sign of {sign : sort list, sort : sort, strict : bool}
28 :    
29 :     fun new {name,signa=Sign{sign,sort,strict}} =
30 :     DCON {name=name,
31 :     arity=List.length sign,
32 :     sign=sign,
33 :     sort=sort,
34 :     strict=strict
35 :     }
36 :    
37 :     end;
38 :    
39 :     signature B =
40 :     sig
41 :     structure Cons : Cons
42 :     end;
43 :    
44 :     structure B :> B =
45 :     struct
46 :     structure Cons = Cons
47 :     end;

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