#lang scheme/base

(require "../proof/provide.ss"

         "interface.ss"
         "module.ss"
         "link.ss"
         "invoke.ss"
         "top.ss"
         "require.ss")

#|
(define-syntax dracula-interface expand-interface)
(define-syntax dracula-module expand-module)
(define-syntax dracula-link expand-link)
(define-syntax dracula-invoke expand-invoke)
(define-syntax dracula-module-begin expand-module-begin)
(define-syntax dracula-top-interaction expand-top-interaction)
(define-syntax dracula-require expand-require)
|#

(provide (rename-out [interface-macro interface]
                     [module-macro module]
                     [link-macro link]
                     [invoke-macro invoke]
                     [module-begin-macro #%module-begin]
                     [top-interaction-macro #%top-interaction]
                     [require-macro require]))

(provide-all-from "keywords.ss" "teachpacks.ss" "../lang/acl.ss")