Skip to content
Browse files

[fix] qmlAstCons: not generating source names when where are potentia…

…lly after renaming

it appears to somehow raise assertions later when you had db default values in several (non-linking) packages
  • Loading branch information...
1 parent 4ecce30 commit 5fc8bb9169865f21fa521a7fd10473586de4b767 Valentin Gatien-Baron committed
Showing with 7 additions and 3 deletions.
  1. +2 −2 libqmlcompil/qmlAstCons.ml
  2. +5 −1 opa/pass_Typing.ml
View
4 libqmlcompil/qmlAstCons.ml
@@ -356,14 +356,14 @@ struct
let make_code_elt expr =
let label = Annot.nolabel "QmlAstCons.make_code_elt" in
- Q.NewVal (label, [(Ident.source "_", expr)]),
+ Q.NewVal (label, [(Ident.next "_", expr)]),
(function
| Q.NewVal (_, [(_, e)]) -> e
| _ -> failwith "QmlAstCons.UnValRec.make_code_elt.rebuilder")
let make_code_elt_maped expr =
let label = Annot.nolabel "QmlAstCons.make_code_elt_maped" in
- Q.NewVal (label, [(Ident.source "_", expr)]),
+ Q.NewVal (label, [(Ident.next "_", expr)]),
(function
| Q.M_NewVal [(_, t)] -> t
| _ -> failwith "QmlAstCons.UnValRec.make_code_elt_maped.rebuilder")
View
6 opa/pass_Typing.ml
@@ -23,7 +23,11 @@ module S =
struct
type t = (QmlAst.ty, unit) QmlGenericScheme.tsc IdentMap.t
let pass = "pass_Typing"
- let pp f _ = Format.pp_print_string f "<dummy>"
+ let pp f map =
+ IdentMap.iter
+ (fun k v ->
+ Format.fprintf f "@[<2>%s ->@ %a@]@\n" (Ident.to_string k) QmlPrint.pp#tsc v
+ ) map
end
module R = ObjectFiles.Make(S)

0 comments on commit 5fc8bb9

Please sign in to comment.
Something went wrong with that request. Please try again.