jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

cosmetic

Browse source
This commit is contained in:
Léonard Gérard 2011-04-29 14:13:54 +02:00
parent 10418197c8
commit 219c4dbf8d
2 changed files with 18 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
compiler/utilities/misc.ml
View file

@ -122,7 +122,7 @@ let rec assocd value = function
(** { 3 Compiler iterators } *)
(** Mapfold *) (* TODO optim : lot's of place we don't need the List.rev *)
(** Mapfold *) (* TODO optim : in a lot of places we don't need the List.rev *)
let mapfold f acc l =
let l,acc = List.fold_left
(fun (l,acc) e -> let e,acc = f acc e in e::l, acc)
@ -170,23 +170,31 @@ let fold_righti f l acc =
exception Assert_false
let internal_error passe code =
Format.eprintf "@.---------\nInternal compiler error\nPasse : %s, Code : %d\n----------@." passe code;
Format.eprintf "@.---------\n
Internal compiler error\n
Passe : %s, Code : %d\n
----------@." passe code;
raise Assert_false
exception Unsupported
let unsupported passe code =
Format.eprintf "@.---------\nUnsupported feature, please report it\nPasse : %s, Code : %d\n----------@." passe code;
Format.eprintf "@.---------\n
Unsupported feature, please report it\n
Passe : %s, Code : %d\n
----------@." passe code;
raise Unsupported
(* Functions to decompose a list into a tuple *)
let _arity_error i l =
Format.eprintf "@.---------\nInternal compiler error: \
wrong list size (found %d, expected %d).\n----------@." (List.length l) i;
Format.eprintf "@.---------\n
Internal compiler error: wrong list size (found %d, expected %d).\n
----------@." (List.length l) i;
raise Assert_false
let _arity_min_error i l =
Format.eprintf "@.---------\nInternal compiler error: \
wrong list size (found %d, expected %d at least).\n----------@." (List.length l) i;
Format.eprintf "@.---------\n
Internal compiler error: wrong list size (found %d, expected %d at least).\n
----------@." (List.length l) i;
raise Assert_false
let assert_empty = function

5
compiler/utilities/misc.mli
View file

@ -13,7 +13,8 @@ val optional : ('a -> 'b) -> 'a option -> 'b option
val optional_wacc : ('a -> 'b -> 'c*'a) -> 'a -> 'b option -> ('c option * 'a)
val optunit : ('a -> unit) -> 'a option -> unit
(** [split_string s c] splits the string [s] according to the separator [c] into a list of string without [c] *)
(** [split_string s c] splits the string [s] according to the separator
[c] into a list of string without [c] *)
val split_string : string -> string -> string list
(* Generation of unique names. Mandatory call of reset_symbol between
@ -63,7 +64,7 @@ val list_compare : ('a -> 'a -> int) -> 'a list -> 'a list -> int
val option_compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int
(** Mapfold *)
val mapfold: ('a -> 'b -> 'c * 'a) -> 'a -> 'b list -> 'c list * 'a
val mapfold: ('acc -> 'b -> 'c * 'acc) -> 'acc -> 'b list -> 'c list * 'acc
(** Mapfold, right version. *)
val mapfold_right