Add rate_type in interpreter/types.ml.

[Faustine.git] / interpretor / beam.ml

diff --git a/interpretor/beam.ml b/interpretor/beam.ml
index 273ae1c..b66ac2b 100644 (file)
--- a/interpretor/beam.ml
+++ b/interpretor/beam.ml
@@ -91,17 +91,10 @@ class beam : signal_type array -> beam_type =
              transpose container
 
            with x ->
              transpose container
 
            with x ->

-             let error_message = 

                match x with
                match x with

-               | Convert_Error s -> "Convert_Error: " ^ s
-               | Basic_operation s -> "Basic_operation: " ^ s
-               | Signal_operation s -> "Signal_operation: " ^ s
-               | Beam_matching s -> "Beam_Matching_Error: " ^ s
-               | Invalid_argument s -> "Compute finished."
-               | _ -> "Unknown error"
-             in
-             let () = print_string error_message in
-             transpose (Array.sub container 0 !index)
+               | Invalid_argument s -> 
+                   transpose (Array.sub container 0 !index)
+               | _ -> raise x

 
       method frequency : int array = 
        let each_rate : signal -> int = 
 
       method frequency : int array = 
        let each_rate : signal -> int =