Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 396e554f authored by Andrei Paskevich's avatar Andrei Paskevich

typing: reset tuple cache when adding props, too

this fixes a problem with encoding_decorate, where
a parsed Prelude theory contained unneeded "use Tuple2"
parent 70ec8ece
...@@ -210,6 +210,8 @@ let add_logic_decls = with_tuples ~reset:true add_logic_decls ...@@ -210,6 +210,8 @@ let add_logic_decls = with_tuples ~reset:true add_logic_decls
let add_ind_decl = with_tuples add_ind_decl let add_ind_decl = with_tuples add_ind_decl
let add_ind_decls = with_tuples ~reset:true add_ind_decls let add_ind_decls = with_tuples ~reset:true add_ind_decls
let add_prop_decl = with_tuples ~reset:true add_prop_decl
let rec type_inst s ty = match ty.ty_node with let rec type_inst s ty = match ty.ty_node with
| Ty.Tyvar n -> Mtv.find n s | Ty.Tyvar n -> Mtv.find n s
| Ty.Tyapp (ts, tyl) -> Tyapp (ts, List.map (type_inst s) tyl) | Ty.Tyapp (ts, tyl) -> Tyapp (ts, List.map (type_inst s) tyl)
......
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