suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Provide `provide' in the DMdA languages.

Browse Source 
(The course at U Kiel needs this for the term project following the
intro course.)
This commit is contained in:
Mike Sperber 2012-10-03 17:28:19 +02:00
parent 58c9905eff
commit 41d6d8f579
4 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/deinprogramm/DMdA-advanced.rkt
View File

@ -1,7 +1,8 @@
#lang deinprogramm/DMdA
(require syntax/docprovide "DMdA-deflam.rkt")
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction
require lib planet provide
let let* letrec lambda define
cond if else begin and or set! quote
define-record-procedures define-record-procedures-2

3
collects/deinprogramm/DMdA-assignments.rkt
View File

@ -1,7 +1,8 @@
#lang deinprogramm/DMdA
(require syntax/docprovide "DMdA-deflam.rkt")
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction
require lib planet provide
let let* letrec lambda define
cond if else begin and or set!
define-record-procedures define-record-procedures-2

3
collects/deinprogramm/DMdA-beginner.rkt
View File

@ -1,7 +1,8 @@
#lang deinprogramm/DMdA
(require syntax/docprovide)
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction
require lib planet provide
define lambda cond if else and or
define-record-procedures define-record-procedures-parametric
.. ... .... ..... ......

3
collects/deinprogramm/DMdA-vanilla.rkt
View File

@ -1,7 +1,8 @@
#lang deinprogramm/DMdA
(require syntax/docprovide)
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction
require lib planet provide
define let let* letrec lambda cond if else and or
define-record-procedures define-record-procedures-parametric
.. ... .... ..... ......