diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-04-18 14:39:34 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-04 13:47:12 +0200 |
commit | de4b9b68445d9f3e48da789404cbdfcd89214585 (patch) | |
tree | aa383a63227fd77df70b8cc5c374ca7f08334ccf /interp/stdarg.ml | |
parent | d2f0db714bd2d393423cf2dcb4ed37913029e052 (diff) |
Moving the Val module to Geninterp.
Diffstat (limited to 'interp/stdarg.ml')
-rw-r--r-- | interp/stdarg.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/interp/stdarg.ml b/interp/stdarg.ml index 244cdd0a7..9e85dbaf3 100644 --- a/interp/stdarg.ml +++ b/interp/stdarg.ml @@ -7,6 +7,12 @@ (************************************************************************) open Genarg +open Geninterp + +let make0 ?dyn name = + let wit = Genarg.make0 name in + let () = register_val0 wit dyn in + wit let wit_unit : unit uniform_genarg_type = make0 "unit" |