File tree 2 files changed +4
-5
lines changed 2 files changed +4
-5
lines changed Original file line number Diff line number Diff line change @@ -32,11 +32,13 @@ type 'a diff =
32
32
| SEQ of 'a diff * 'a diff
33
33
34
34
let rec csize bp = match bp with
35
- | UP (t1 ,t2 ) -> zsize t1 + zsize t2
36
- | SEQ (p1 ,p2 ) -> csize p1 + csize p2
35
+ | UP (t1 ,t2 ) -> zsize t1 + zsize t2
36
+ | SEQ (p1 ,p2 ) -> csize p1 + csize p2
37
+ | _ -> failwith " unsupported csize"
37
38
38
39
let fsize bp = match bp with
39
40
| UP (t ,_ ) -> zsize t
41
+ | _ -> failwith " unsupported fsize"
40
42
41
43
let rec string_of_difftype f = function
42
44
| PENDING_ID a -> " ?= " ^ f a
Original file line number Diff line number Diff line change @@ -555,8 +555,6 @@ and trans_top top =
555
555
| EmptyDef _ -> mkA(" edef" , " N/H" )
556
556
| NotParsedCorrectly _ -> mkA(" NCP" ," N/H" )
557
557
| FinalDef _ -> mkA(" fdef" , " N/H" )
558
- | _ -> mkA(" top" , " N/H" )
559
- (* and trans_include (inc_f, inc_pos) = *)
560
558
561
559
and trans_include { i_include = inc_f } =
562
560
let ie s = mkA(" inc_elem" , s) in
@@ -574,7 +572,6 @@ let trans_prg2 prg =
574
572
(List. map (fun (a , _ ) -> a)
575
573
(List. filter (fun a -> match a with (FinalDef _ , _ ) -> false | _ -> true )
576
574
prg))
577
- (* List.map (fun (tl,_) -> trans_top tl) prg *)
578
575
in
579
576
let tops_envs =
580
577
Type_annoter_c. annotate_program
You can’t perform that action at this time.
0 commit comments