framework-unit.rkt
1 #lang racket/base 2 3 (require racket/unit 4 mred/mred-sig) 5 6 (require "private/sig.rkt" 7 "private/text-sig.rkt" 8 "private/number-snip.rkt" 9 "private/comment-box.rkt" 10 "private/application.rkt" 11 "private/version.rkt" 12 "private/color-model.rkt" 13 "private/exit.rkt" 14 "private/menu.rkt" 15 "private/preferences.rkt" 16 "private/autosave.rkt" 17 "private/color.rkt" 18 "private/color-prefs.rkt" 19 "private/handler.rkt" 20 "private/keymap.rkt" 21 "private/path-utils.rkt" 22 "private/icon.rkt" 23 "private/editor.rkt" 24 "private/pasteboard.rkt" 25 "private/text.rkt" 26 "private/finder.rkt" 27 "private/group.rkt" 28 "private/canvas.rkt" 29 "private/panel.rkt" 30 "private/frame.rkt" 31 "private/racket.rkt" 32 "private/main.rkt" 33 "private/mode.rkt" 34 "private/early-init.rkt") 35 36 (provide framework@) 37 38 (define-compound-unit/infer framework-separate@ 39 (import mred^) 40 (export framework:application^ 41 framework:version^ 42 framework:color-model^ 43 framework:mode^ 44 framework:exit^ 45 framework:menu^ 46 framework:preferences^ 47 framework:number-snip^ 48 framework:autosave^ 49 framework:path-utils^ 50 framework:icon^ 51 framework:keymap^ 52 framework:editor^ 53 framework:pasteboard^ 54 framework:text^ 55 framework:color^ 56 framework:color-prefs^ 57 framework:comment-box^ 58 framework:finder^ 59 framework:group^ 60 framework:canvas^ 61 framework:panel^ 62 framework:frame^ 63 framework:handler^ 64 framework:racket^ 65 framework:main^) 66 (link 67 preferences@ early-init@ 68 application@ version@ color-model@ mode@ exit@ menu@ 69 number-snip@ autosave@ path-utils@ icon@ keymap@ 70 editor@ pasteboard@ text@ color@ color-prefs@ comment-box@ 71 finder@ group@ canvas@ panel@ frame@ handler@ racket@ main@)) 72 73 (define-unit/new-import-export framework@ (import mred^) (export framework^) 74 (((prefix application: framework:application^) 75 (prefix version: framework:version^) 76 (prefix color-model: framework:color-model^) 77 (prefix mode: framework:mode^) 78 (prefix exit: framework:exit^) 79 (prefix menu: framework:menu^) 80 (prefix preferences: framework:preferences^) 81 (prefix number-snip: framework:number-snip^) 82 (prefix autosave: framework:autosave^) 83 (prefix path-utils: framework:path-utils^) 84 (prefix icon: framework:icon^) 85 (prefix keymap: framework:keymap^) 86 (prefix editor: framework:editor^) 87 (prefix pasteboard: framework:pasteboard^) 88 (prefix text: framework:text^) 89 (prefix color: framework:color^) 90 (prefix color-prefs: framework:color-prefs^) 91 (prefix comment-box: framework:comment-box^) 92 (prefix finder: framework:finder^) 93 (prefix group: framework:group^) 94 (prefix canvas: framework:canvas^) 95 (prefix panel: framework:panel^) 96 (prefix frame: framework:frame^) 97 (prefix handler: framework:handler^) 98 (prefix racket: framework:racket^) 99 (prefix main: framework:main^)) 100 framework-separate@ mred^))