From: mzp Date: Sun, 13 Sep 2009 10:05:13 +0000 (+0900) Subject: add type annot for abc module X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=69691b4d727b82953bb62f11615f7bf96f9376d5;p=happyabc%2Fhappyabc.git add type annot for abc module --- diff --git a/swflib/abc.ml b/swflib/abc.ml index 4c361c9..0fd396b 100644 --- a/swflib/abc.ml +++ b/swflib/abc.ml @@ -3,5 +3,10 @@ module C = Compile.Make(HighInst) include AbcType include MethodType -let asm = A.to_bytes -let compile = C.to_abc +let asm : LowInst.t abc -> Bytes.t list = A.to_bytes +let compile : Cpool.multiname list -> HighInst.s method_ -> LowInst.t abc = C.to_abc + +let output : out_channel -> Bytes.t list -> unit = + Bytes.output_bytes + +