Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
afed6a0b
Commit
afed6a0b
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-07-04 09:23:48 by afrisch] Register optional subsystems
Original author: afrisch Date: 2004-07-04 09:23:48+00:00
parent
7429be71
Changes
1
Hide whitespace changes
Inline
Side-by-side
ocamliface/mlstub.ml
View file @
afed6a0b
...
...
@@ -476,6 +476,7 @@ let stub name ty_env c_env values =
let module C = struct
let cu = ...
open Cduce_lib
Config.init_all ()
let types = ...
let rec <global translation functions>
<fills external slots>
...
...
@@ -490,6 +491,7 @@ let stub name ty_env c_env values =
let
m
=
[
<:
str_item
<
open
Cduce_lib
>>;
<:
str_item
<
Config
.
init_all
()
>>;
<:
str_item
<
value
types
=
Librarian
.
registered_types
cu
>>
]
@
(
if
g
=
[]
then
[]
else
[
<:
str_item
<
value
rec
$
list
:
g
$
>>
])
@
[
<:
str_item
<
Librarian
.
set_externals
cu
[
|$
list
:
exts
$|
]
>>;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment