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/outputs.post-110.63/bug1124.3.out
ViewVC logotype

Annotation of /tests/trunk/bugs/outputs.post-110.63/bug1124.3.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2567 - (view) (download)

1 : gkuan 2462 val it = () : unit
2 :     signature SYNTAX =
3 :     sig
4 :     type Name = string
5 :     datatype Prim = p_plus
6 :     datatype Atom = atom_int of int | atom_unit
7 :     datatype Exp = exp_atom of Atom | exp_var of Name
8 :     datatype M = m_dynamic of Exp
9 :     end
10 :     functor Eval(<param>: sig
11 :     structure Syntax : <sig>
12 :     end) :
13 :     sig
14 :     structure Syntax : <sig>
15 : dbm 2567 type Name
16 :     type Prim
17 :     type Atom
18 :     type Exp
19 :     type M
20 : gkuan 2462 val make_formal : Syntax.M -> Syntax.M
21 :     end
22 :    

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