Commit 4548a86e authored by Andrei Paskevich's avatar Andrei Paskevich

Pmodule: always clone a pure type into a pure type

parent 1da81255
......@@ -525,7 +525,9 @@ let rec clone_ity cl ity = match ity.ity_node with
| Ityapp (s, tl, rl) ->
let tl' = (clone_ity cl) tl in
begin match Mts.find_opt s.its_ts cl.ts_table with
| Some s' -> ity_app_pure s' tl' (clone_regs cl s tl rl s')
| Some s' -> ity_app_pure s' tl' (* pure to pure *)
(if List.for_all (fun r -> r.ity_pure) rl
then [] else clone_regs cl s tl rl s')
| None -> (* creative indentation *)
begin match Mts.find_opt s.its_ts cl.ty_table with
| Some ity -> ity_full_inst (its_match_regs s tl' []) ity
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment