Commit 22ba1177 authored by erwan's avatar erwan
Browse files

Chore: remove explicit reference to Stdlib as its breaks CI on ocaml <4.07

parent 1cf9c4c2
......@@ -9,7 +9,7 @@ exception Stop
(* selection du fichier de sortie *)
let outchannel nodename opt = (
if (MainArg.outpipe opt) then (
Stdlib.stdout
stdout
) else (
let outname = (
match MainArg.outfile opt with
......@@ -22,7 +22,7 @@ let outchannel nodename opt = (
)
) in
Verbose.put "#OUTFILE: %s\n" outname;
Stdlib.open_out outname
open_out outname
)
)
......
......@@ -5,7 +5,7 @@ open Expand
(** Impression des expressions algbriques *)
let print_algexp
(os : Stdlib.out_channel)
(os : out_channel)
(e : CoAlgExp.t) =
(
(* normalement, la syntaxe Lustre doit passer ??? *)
......@@ -18,7 +18,7 @@ let print_algexp
let print_header
(srcname: string)
(mnode: string)
(os : Stdlib.out_channel)
(os : out_channel)
(_auto : AutoGen.t) =
(
fprintf os
......@@ -47,7 +47,7 @@ let make
(srcname: string)
(mnode : string)
(auto : AutoGen.t)
(os : Stdlib.out_channel) =
(os : out_channel) =
(
(* le source au cas ou ... *)
let source_code = AutoGen.source auto in
......
......@@ -56,10 +56,19 @@ let debug = false
open Util
open List
type point = float list
type vector = float list
let fold_left = List.fold_left
let fold_left2 = List.fold_left2
let map = List.map
let map2 = List.map2
let hd = List.hd
let tl = List.tl
let flatten = List.flatten
let iter = List.iter
let partition = List.partition
let (scal_prod : vector -> vector -> float) =
fun v1 v2 ->
fold_left2 (fun acc x y -> acc +. x *. y) 0.0 v1 v2
......@@ -614,7 +623,7 @@ let (_draw_point_cheap2 : point list -> point) =
The result is not too bad, but not perfect...
*)
let ul0 = List.map (fun _ -> Random.float 1.0) (List.tl zl) in
let ul = List.sort Stdlib.compare ul0 in
let ul = List.sort compare ul0 in
let (u_last, sl0) =
List.fold_left
(fun (u', l) u -> (u, (u -. u')::l))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment