source: project/release/4/miniML/trunk/miniMLsyntax.scm @ 22116

Last change on this file since 22116 was 19219, checked in by Ivan Raikov, 10 years ago

fixes to static-modules/miniML

File size: 1.4 KB
Line 
1;;
2;;  Syntax definitions for a simple ML-like language.
3;;
4;;  Based on the code and paper by Xavier Leroy (2000): A modular
5;;  module system. Journal of Functional Programming, 10, pp 269-303
6;;  doi:10.1017/S0956796800003683
7;;
8;;
9;; Copyright 2010 Ivan Raikov and the Okinawa Institute of
10;; Science and Technology.
11;;
12;; This program is free software: you can redistribute it and/or
13;; modify it under the terms of the GNU General Public License as
14;; published by the Free Software Foundation, either version 3 of the
15;; License, or (at your option) any later version.
16;;
17;; This program is distributed in the hope that it will be useful, but
18;; WITHOUT ANY WARRANTY; without even the implied warranty of
19;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
20;; General Public License for more details.
21;;
22;; A full copy of the GPL license can be found at
23;; <http://www.gnu.org/licenses/>.
24;;
25
26
27(module miniMLsyntax
28
29        ( modtype? Signature Functorty 
30          modspec? Value_sig Type_sig Module_sig
31          modterm? Modid Structure Functor Mapply Constraint
32          moddef? Value_def Type_def Module_def )
33
34
35        (import scheme chicken )
36        (require-extension extras static-modules miniML)
37
38
39        (define-values (modtype? Signature Functorty 
40                                 modspec? Value_sig Type_sig Module_sig
41                                 modterm? Modid Structure Functor Mapply Constraint
42                                 moddef? Value_def Type_def Module_def
43                                 subst-modtype subst-modspec subst-typedecl)
44          (make-mod-syntax core-syntax))
45
46
47)
Note: See TracBrowser for help on using the repository browser.