]>
Commit | Line | Data |
---|---|---|
67b98ac0 DB |
1 | (define-module (thales core-modules) |
2 | #:export (guile-provides?)) | |
3 | ||
4 | (define (guile-provides? modname) | |
5 | (and (member modname *guile-core-modules*) | |
6 | 'guile)) | |
7 | ||
8 | (define *guile-core-modules* '((value-history) ;; ?? | |
9 | (guile) | |
10 | (ice-9 peg cache) | |
11 | (ice-9 peg using-parsers) | |
12 | (ice-9 peg string-peg) | |
13 | (ice-9 peg codegen) | |
14 | (ice-9 peg simplify-tree) | |
15 | (ice-9 time) | |
16 | (ice-9 list) | |
17 | (ice-9 iconv) | |
18 | (ice-9 slib) | |
19 | (ice-9 poe) | |
20 | (ice-9 compile-psyntax) | |
21 | (ice-9 quasisyntax) | |
22 | (ice-9 arrays) | |
23 | (ice-9 pretty-print) | |
24 | (ice-9 posix) | |
25 | (ice-9 ls) | |
26 | (ice-9 history) | |
27 | (ice-9 hcons) | |
28 | (ice-9 null) | |
29 | (ice-9 receive) | |
30 | (ice-9 r5rs) | |
31 | (ice-9 top-repl) | |
32 | (ice-9 occam-channel) | |
33 | (ice-9 stack-catch) | |
34 | (ice-9 safe) | |
35 | (ice-9 syncase) | |
36 | (ice-9 boot-9) | |
37 | (ice-9 mapping) | |
38 | (ice-9 threads) | |
39 | (ice-9 test) | |
40 | (ice-9 rw) | |
41 | (ice-9 i18n) | |
42 | (ice-9 getopt-long) | |
43 | (ice-9 optargs) | |
44 | (ice-9 curried-definitions) | |
45 | (ice-9 control) | |
46 | (ice-9 local-eval) | |
47 | (ice-9 poll) | |
48 | (ice-9 vlist) | |
49 | (ice-9 lineio) | |
50 | (ice-9 scm-style-repl) | |
51 | (ice-9 rdelim) | |
52 | (ice-9 weak-vector) | |
53 | (ice-9 string-fun) | |
54 | (ice-9 command-line) | |
55 | (ice-9 binary-ports) | |
56 | (ice-9 futures) | |
57 | (ice-9 deprecated) | |
58 | (ice-9 regex) | |
59 | (ice-9 match) | |
60 | (ice-9 psyntax) | |
61 | (ice-9 format) | |
62 | (ice-9 match.upstream) | |
63 | (ice-9 debug) | |
64 | (ice-9 and-let-star) | |
65 | (ice-9 documentation) | |
66 | (ice-9 popen) | |
67 | (ice-9 psyntax-pp) | |
68 | (ice-9 peg) | |
69 | (ice-9 eval) | |
70 | (ice-9 channel) | |
71 | (ice-9 session) | |
72 | (ice-9 calling) | |
73 | (ice-9 runq) | |
74 | (ice-9 networking) | |
75 | (ice-9 r6rs-libraries) | |
76 | (ice-9 eval-string) | |
77 | (ice-9 safe-r5rs) | |
78 | (ice-9 serialize) | |
79 | (ice-9 streams) | |
80 | (ice-9 buffered-input) | |
81 | (ice-9 gap-buffer) | |
82 | (ice-9 expect) | |
83 | (ice-9 save-stack) | |
84 | (ice-9 ftw) | |
85 | (ice-9 common-list) | |
86 | (ice-9 q) | |
87 | (language value spec) | |
88 | (language glil spec) | |
89 | (language glil compile-assembly) | |
90 | (language ecmascript array) | |
91 | (language ecmascript tokenize) | |
92 | (language ecmascript compile-tree-il) | |
93 | (language ecmascript spec) | |
94 | (language ecmascript function) | |
95 | (language ecmascript impl) | |
96 | (language ecmascript parse) | |
97 | (language ecmascript base) | |
98 | (language bytecode spec) | |
99 | (language elisp runtime function-slot) | |
100 | (language elisp runtime value-slot) | |
101 | (language elisp falias) | |
102 | (language elisp compile-tree-il) | |
103 | (language elisp parser) | |
104 | (language elisp spec) | |
105 | (language elisp bindings) | |
106 | (language elisp lexer) | |
107 | (language elisp runtime) | |
108 | (language cps compile-rtl) | |
109 | (language cps contification) | |
110 | (language cps spec) | |
111 | (language cps reify-primitives) | |
112 | (language cps primitives) | |
113 | (language cps closure-conversion) | |
114 | (language cps dfg) | |
115 | (language cps slot-allocation) | |
116 | (language cps arities) | |
117 | (language cps verify) | |
118 | (language scheme compile-tree-il) | |
119 | (language scheme spec) | |
120 | (language scheme decompile-tree-il) | |
121 | (language tree-il inline) | |
122 | (language tree-il peval) | |
123 | (language tree-il fix-letrec) | |
124 | (language tree-il canonicalize) | |
125 | (language tree-il compile-cps) | |
126 | (language tree-il cse) | |
127 | (language tree-il spec) | |
128 | (language tree-il primitives) | |
129 | (language tree-il analyze) | |
130 | (language tree-il debug) | |
131 | (language tree-il optimize) | |
132 | (language tree-il effects) | |
133 | (language tree-il compile-glil) | |
134 | (language objcode elf) | |
135 | (language objcode spec) | |
136 | (language rtl spec) | |
137 | (language assembly spec) | |
138 | (language assembly compile-bytecode) | |
139 | (language assembly decompile-bytecode) | |
140 | (language assembly disassemble) | |
141 | (language brainfuck compile-tree-il) | |
142 | (language brainfuck spec) | |
143 | (language brainfuck compile-scheme) | |
144 | (language brainfuck parse) | |
145 | (language objcode) | |
146 | (language rtl) | |
147 | (language glil) | |
148 | (language assembly) | |
149 | (language tree-il) | |
150 | (language cps) | |
151 | (oop goops active-slot) | |
152 | (oop goops compile) | |
153 | (oop goops simple) | |
154 | (oop goops stklos) | |
155 | (oop goops describe) | |
156 | (oop goops accessors) | |
157 | (oop goops save) | |
158 | (oop goops composite-slot) | |
159 | (oop goops dispatch) | |
160 | (oop goops util) | |
161 | (oop goops internal) | |
162 | (oop goops) | |
163 | (texinfo plain-text) | |
164 | (texinfo docbook) | |
165 | (texinfo indexing) | |
166 | (texinfo string-utils) | |
167 | (texinfo html) | |
168 | (texinfo reflection) | |
169 | (texinfo serialize) | |
170 | (web server http) | |
171 | (web client) | |
172 | (web server) | |
173 | (web uri) | |
174 | (web http) | |
175 | (web request) | |
176 | (web response) | |
177 | (scripts help) | |
178 | (scripts snarf-check-and-output-texi) | |
179 | (scripts list) | |
180 | (scripts lint) | |
181 | (scripts read-text-outline) | |
182 | (scripts compile) | |
183 | (scripts read-scheme-source) | |
184 | (scripts display-commentary) | |
185 | (scripts generate-autoload) | |
186 | (scripts use2dot) | |
187 | (scripts frisk) | |
188 | (scripts doc-snarf) | |
189 | (scripts read-rfc822) | |
190 | (scripts summarize-guile-TODO) | |
191 | (scripts api-diff) | |
192 | (scripts punify) | |
193 | (scripts snarf-guile-m4-docs) | |
194 | (scripts autofrisk) | |
195 | (scripts scan-api) | |
196 | (scripts disassemble) | |
197 | (system base compile) | |
198 | (system base ck) | |
199 | (system base syntax) | |
200 | (system base message) | |
201 | (system base language) | |
202 | (system base lalr.upstream) | |
203 | (system base target) | |
204 | (system base pmatch) | |
205 | (system base lalr) | |
206 | (system vm disassembler) | |
207 | (system vm vm) | |
208 | (system vm program) | |
209 | (system vm coverage) | |
210 | (system vm trap-state) | |
211 | (system vm objcode) | |
212 | (system vm frame) | |
213 | (system vm elf) | |
214 | (system vm linker) | |
215 | (system vm traps) | |
216 | (system vm inspect) | |
217 | (system vm assembler) | |
218 | (system vm debug) | |
219 | (system vm instruction) | |
220 | (system vm trace) | |
221 | (system repl server) | |
222 | (system repl common) | |
223 | (system repl repl) | |
224 | (system repl describe) | |
225 | (system repl command) | |
226 | (system repl debug) | |
227 | (system repl error-handling) | |
228 | (system xref) | |
229 | (system foreign) | |
230 | (sxml ssax input-parse) | |
231 | (sxml upstream assert) | |
232 | (sxml upstream SXPath-old) | |
233 | (sxml upstream input-parse) | |
234 | (sxml upstream SXML-tree-trans) | |
235 | (sxml upstream SSAX) | |
236 | (sxml simple) | |
237 | (sxml xpath) | |
238 | (sxml fold) | |
239 | (sxml match) | |
240 | (sxml ssax) | |
241 | (sxml transform) | |
242 | (sxml apply-templates) | |
243 | (srfi srfi-67 compare) | |
244 | (srfi srfi-42 ec) | |
245 | (srfi srfi-9 gnu) | |
246 | (srfi srfi-4 gnu) | |
247 | (srfi srfi-16) | |
248 | (srfi srfi-27) | |
249 | (srfi srfi-4) | |
250 | (srfi srfi-45) | |
251 | (srfi srfi-38) | |
252 | (srfi srfi-42) | |
253 | (srfi srfi-26) | |
254 | (srfi srfi-34) | |
255 | (srfi srfi-69) | |
256 | (srfi srfi-19) | |
257 | (srfi srfi-18) | |
258 | (srfi srfi-88) | |
259 | (srfi srfi-13) | |
260 | (srfi srfi-31) | |
261 | (srfi srfi-60) | |
262 | (srfi srfi-11) | |
263 | (srfi srfi-2) | |
264 | (srfi srfi-37) | |
265 | (srfi srfi-39) | |
266 | (srfi srfi-98) | |
267 | (srfi srfi-9) | |
268 | (srfi srfi-6) | |
269 | (srfi srfi-67) | |
270 | (srfi srfi-1) | |
271 | (srfi srfi-14) | |
272 | (srfi srfi-41) | |
273 | (srfi srfi-17) | |
274 | (srfi srfi-10) | |
275 | (srfi srfi-35) | |
276 | (srfi srfi-8) | |
277 | (rnrs records syntactic) | |
278 | (rnrs records inspection) | |
279 | (rnrs records procedural) | |
280 | (rnrs arithmetic flonums) | |
281 | (rnrs arithmetic bitwise) | |
282 | (rnrs arithmetic fixnums) | |
283 | (rnrs io ports) | |
284 | (rnrs io simple) | |
285 | (rnrs syntax-case) | |
286 | (rnrs bytevectors) | |
287 | (rnrs r5rs) | |
288 | (rnrs control) | |
289 | (rnrs conditions) | |
290 | (rnrs sorting) | |
291 | (rnrs hashtables) | |
292 | (rnrs mutable-pairs) | |
293 | (rnrs exceptions) | |
294 | (rnrs programs) | |
295 | (rnrs files) | |
296 | (rnrs unicode) | |
297 | (rnrs lists) | |
298 | (rnrs eval) | |
299 | (rnrs base) | |
300 | (rnrs mutable-strings) | |
301 | (rnrs enums) | |
302 | (statprof) | |
303 | (texinfo) | |
304 | (rnrs))) |