Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[enhance] compiler: updating to big_int

  • Loading branch information...
commit 81e2a87b5164d124e65aff10486ae5d89abe6351 1 parent 1e238ef
@BourgerieQuentin BourgerieQuentin authored
View
3  compiler/opa/pass_CheckPatternMatching.ml
@@ -1,5 +1,5 @@
(*
- Copyright © 2011 MLstate
+ Copyright © 2011, 2012 MLstate
This file is part of Opa.
@@ -113,6 +113,7 @@ let rec is_killed_by p p' =
| (Q.PatAny _ | Q.PatVar _), _ -> true
| Q.PatRecord _, Q.PatRecord _ -> all_fields_killed_by p p'
+ | Q.PatConst (_, Q.Int i), Q.PatConst (_, Q.Int i') -> Big_int.eq_big_int i i'
| Q.PatConst (_, c0), Q.PatConst (_, c1) -> c0 = c1
| _ -> false
View
4 compiler/qmlflat/flat/flat_Common.ml
@@ -1,5 +1,5 @@
(*
- Copyright © 2011 MLstate
+ Copyright © 2011, 2012 MLstate
This file is part of Opa.
@@ -101,7 +101,7 @@ struct
type ident = Ident.t
let const = function
- | Q.Int i -> Ocaml.Int i
+ | Q.Int i -> Ocaml.Int (Big_int.int_of_big_int i)
| Q.Float f -> Ocaml.Float f
| Q.String s -> Ocaml.String s
View
4 compiler/qmlflat/flat/flat_MatchGeneration.ml
@@ -1,5 +1,5 @@
(*
- Copyright © 2011 MLstate
+ Copyright © 2011, 2012 MLstate
This file is part of Opa.
@@ -246,7 +246,7 @@ struct
let rec compile_pat = function
| T_PatConst (_, const) -> (
match const with
- | Q.Int i -> Ocaml.Cons.pat_int i
+ | Q.Int i -> Ocaml.Cons.pat_int (Big_int.int_of_big_int i)
| Q.Float i -> Ocaml.Cons.pat_float i
| Q.String i -> Ocaml.Cons.pat_string i
)
View
4 compiler/qmljsimp/imp_Common.ml
@@ -1,5 +1,5 @@
(*
- Copyright © 2011 MLstate
+ Copyright © 2011, 2012 MLstate
This file is part of Opa.
@@ -227,7 +227,7 @@ let maybe_js_false gamma ty =
let const const =
match const with
| Q.Int i ->
- JsCons.Expr.int i
+ JsCons.Expr.bint i
| Q.Float f ->
JsCons.Expr.float f
| Q.String s ->
View
2  ocamllib/database/_tags
@@ -3,7 +3,7 @@
# subdirs
<{badop,db3,light}>: traverse
-<**/*.{ml,mli,byte,native}>: use_libbase, use_libruntime, use_libnet, use_appruntime, use_libsecurity, use_libtools, use_buildinfos
+<**/*.{ml,mli,byte,native}>: use_libbase, use_libruntime, use_libnet, use_appruntime, use_libsecurity, use_libtools, use_buildinfos, use_nums
<gml_parser.{ml,mli,byte,native}>: use_libtrx
<light/*.{ml,mli,byte,native}>: opt_use_dbm
Please sign in to comment.
Something went wrong with that request. Please try again.