ds018.hs:41:
Warning: Possibly incomplete patterns
in the definition of function `fb'
-
-
-================================================================================
-Desugared:
-Rec {
-gb2_azP :: PrelBase.(){-40,W-} -> PrelBase.(){-40,W-}
-{-# L #-}
-gb2_azP =
- \ ds_d1bE :: PrelBase.(){-40,W-}
- {-# L #-}
- ds_d1bE ->
- case ds_d1bE of { PrelBase.(){-60,w-}{i} ->
- PrelBase.(){-60,w-}{i};}
-gb2{-r4T,x-} :: PrelBase.(){-40,W-} -> PrelBase.(){-40,W-}
-{-# L #-}
-gb2{-r4T,x-} =
- gb2_azP
-gb{-r4U,x-} :: _forall_
- [taA5]
- =>
- PrelBase.(){-40,W-} -> taA5 -> taA5
-{-# L #-}
-gb{-r4U,x-} =
- _/\_ taA5 ->
- _letrec_ {
- gb_azU :: PrelBase.(){-40,W-} -> taA5 -> taA5
- {-# L #-}
- gb_azU =
- \ ds_d1cC :: PrelBase.(){-40,W-}
- {-# L #-}
- ds_d1cC x_r4S :: taA5
- {-# L #-}
- x_r4S ->
- case ds_d1cC of { PrelBase.(){-60,w-}{i} -> x_r4S;};
- } in gb_azU
-ga{-r4V,x-} :: _forall_
- [taB2 taB5 taB8 taBb taBe taBh taBk taBn taBq taBt taBw taBz taBC taBF taBI taBL taBO taBR taBU taBX taC0 taC3 taC6 taC9 taCc taCf taCi taCl taCo taCr taCu taCx taCA taCD taCG taCJ taCM taCP taCS taCV taCY taD1 taD4 taD7 taDa taDd taDg taDj taDm taDp taDs taDv]
- =>
- (taB2, taB5, taB8, taBb, taBe, taBh, taBk, taBn, taBq, taBt, taBw, taBz, taBC, taBF, taBI, taBL, taBO, taBR, taBU, taBX, taC0, taC3, taC6, taC9, taCc, taCf, taCi, taCl, taCo, taCr, taCu, taCx, taCA, taCD, taCG, taCJ, taCM, taCP, taCS, taCV, taCY, taD1, taD4, taD7, taDa, taDd, taDg, taDj, taDm, taDp, taDs, taDv)
- -> taC9
-{-# L #-}
-ga{-r4V,x-} =
- _/\_ taB2 taB5 taB8 taBb taBe taBh taBk taBn taBq taBt taBw taBz taBC taBF taBI taBL taBO taBR taBU taBX taC0 taC3 taC6 taC9 taCc taCf taCi taCl taCo taCr taCu taCx taCA taCD taCG taCJ taCM taCP taCS taCV taCY taD1 taD4 taD7 taDa taDd taDg taDj taDm taDp taDs taDv ->
- _letrec_ {
- ga_aA7 :: (taB2, taB5, taB8, taBb, taBe, taBh, taBk, taBn, taBq, taBt, taBw, taBz, taBC, taBF, taBI, taBL, taBO, taBR, taBU, taBX, taC0, taC3, taC6, taC9, taCc, taCf, taCi, taCl, taCo, taCr, taCu, taCx, taCA, taCD, taCG, taCJ, taCM, taCP, taCS, taCV, taCY, taD1, taD4, taD7, taDa, taDd, taDg, taDj, taDm, taDp, taDs, taDv)
- -> taC9
- {-# L #-}
- ga_aA7 =
- \ ds_d1dO :: (taB2, taB5, taB8, taBb, taBe, taBh, taBk, taBn, taBq, taBt, taBw, taBz, taBC, taBF, taBI, taBL, taBO, taBR, taBU, taBX, taC0, taC3, taC6, taC9, taCc, taCf, taCi, taCl, taCo, taCr, taCu, taCx, taCA, taCD, taCG, taCJ, taCM, taCP, taCS, taCV, taCY, taD1, taD4, taD7, taDa, taDd, taDg, taDj, taDm, taDp, taDs, taDv)
- {-# L #-}
- ds_d1dO ->
- case
- ds_d1dO
- of {
- PrelTup.(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,){-6Q,w-}{i} a_r41 b_r42 c_r43 d_r44 e_r45 f_r46 g_r47 h_r48 i_r49 j_r4a k_r4b l_r4c m_r4d n_r4e o_r4f p_r4g q_r4h r_r4i s_r4j t_r4k u_r4l v_r4m w_r4n x_r4o y_r4p z_r4q aa_r4r ab_r4s ac_r4t ad_r4u ae_r4v af_r4w ag_r4x ah_r4y ai_r4z aj_r4A ak_r4B al_r4C am_r4D an_r4E ao_r4F ap_r4G aq_r4H ar_r4I as_r4J at_r4K au_r4L av_r4M aw_r4N ax_r4O ay_r4P az_r4Q ->
- x_r4o;};
- } in ga_aA7
-fb{-r4W,x-} :: _forall_ [taDG taDJ] => [taDG] -> [taDJ]
-{-# L #-}
-fb{-r4W,x-} =
- _/\_ taDG taDJ ->
- _letrec_ {
- fb_aDA :: [taDG] -> [taDJ]
- {-# L #-}
- fb_aDA =
- \ ds_d1el :: [taDG]
- {-# L #-}
- ds_d1el ->
- let {
- fail_d1em :: [taDJ]
- {-# L #-}
- fail_d1em =
- GHCerr.patError{-8r,w-}
- _@_ [taDJ] _string_ "ds018.hs:41|function `fb'"
- } in
- case ds_d1el of {
- PrelBase.:{-55,w-}{i} ds_d1et ds_d1eu -> fail_d1em;
- PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taDJ;
- };
- } in fb_aDA
-fa{-r4X,x-} :: _forall_ [taEg] => [taEg] -> taEg
-{-# L #-}
-fa{-r4X,x-} =
- _/\_ taEg ->
- _letrec_ {
- fa_aDL :: [taEg] -> taEg
- {-# L #-}
- fa_aDL =
- \ ds_d1f2 :: [taEg]
- {-# L #-}
- ds_d1f2 ->
- let {
- fail_d1f3 :: taEg
- {-# L #-}
- fail_d1f3 =
- GHCerr.patError{-8r,w-}
- _@_ taEg _string_ "ds018.hs:39|function `fa'"
- } in
- case ds_d1f2 of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} a_r3z ds_d1fg ->
- case ds_d1fg of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} b_r3A ds_d1ft ->
- case ds_d1ft of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} c_r3B ds_d1fG ->
- case ds_d1fG of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} d_r3C ds_d1fT ->
- case ds_d1fT of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} e_r3D ds_d1g6 ->
- case ds_d1g6 of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} f_r3E ds_d1gj ->
- case ds_d1gj of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} g_r3F ds_d1gw ->
- case ds_d1gw of {
- PrelBase.[]{-5i,w-}{i} -> fail_d1f3;
- PrelBase.:{-55,w-}{i} h_r3G ds_d1gJ ->
- case ds_d1gJ of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} i_r3H ds_d1gW ->
- case ds_d1gW of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} j_r3I ds_d1h9 ->
- case ds_d1h9 of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} k_r3J ds_d1hm ->
- case
- ds_d1hm
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} l_r3K ds_d1hz ->
- case
- ds_d1hz
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} m_r3L ds_d1hM ->
- case
- ds_d1hM
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} n_r3M ds_d1hZ ->
- case
- ds_d1hZ
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} o_r3N ds_d1ic ->
- case
- ds_d1ic
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} p_r3O ds_d1ip ->
- case
- ds_d1ip
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} q_r3P ds_d1iC ->
- case
- ds_d1iC
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} r_r3Q ds_d1iP ->
- case
- ds_d1iP
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} s_r3R ds_d1j2 ->
- case
- ds_d1j2
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} t_r3S ds_d1jf ->
- case
- ds_d1jf
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} u_r3T ds_d1js ->
- case
- ds_d1js
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} v_r3U ds_d1jF ->
- case
- ds_d1jF
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} w_r3V ds_d1jS ->
- case
- ds_d1jS
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} x_r3W ds_d1k5 ->
- case
- ds_d1k5
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} y_r3X ds_d1ki ->
- case
- ds_d1ki
- of {
- PrelBase.[]{-5i,w-}{i} ->
- fail_d1f3;
- PrelBase.:{-55,w-}{i} z_r3Y ds_d1kv ->
- case
- ds_d1kv
- of {
- PrelBase.:{-55,w-}{i} ds_d1kC ds_d1kD ->
- fail_d1f3;
- PrelBase.[]{-5i,w-}{i} ->
- x_r3W;
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- };
- } in fa_aDL
-g{-r4Y,x-} :: _forall_
- [taJN taJP taJR]
- =>
- taJN
- -> taJP
- -> taJR
- -> (taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR)
-{-# L #-}
-g{-r4Y,x-} =
- _/\_ taJN taJP taJR ->
- _letrec_ {
- g_aEK :: taJN
- -> taJP
- -> taJR
- -> (taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR, taJN, taJP, taJR)
- {-# L #-}
- g_aEK =
- \ x_r3v :: taJN
- {-# L #-}
- x_r3v y_r3w :: taJP
- {-# L #-}
- y_r3w z_r3x :: taJR
- {-# L #-}
- z_r3x ->
- PrelTup.(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,){-62q,w-}{i}
- {_@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- _@_ taJN
- _@_ taJP
- _@_ taJR
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x
- x_r3v
- y_r3w
- z_r3x};
- } in g_aEK
-g1{-r4Z,x-} :: _forall_
- [taK6 taK8]
- =>
- taK6 -> taK8 -> PrelBase.(){-40,W-}
-{-# L #-}
-g1{-r4Z,x-} =
- _/\_ taK6 taK8 ->
- _letrec_ {
- g1_aJT :: taK6 -> taK8 -> PrelBase.(){-40,W-}
- {-# L #-}
- g1_aJT =
- \ x_r3s :: taK6
- {-# L #-}
- x_r3s y_r3t :: taK8
- {-# L #-}
- y_r3t ->
- PrelBase.(){-60,w-}{i};
- } in g1_aJT
-f2{-r50,x-} :: _forall_
- [taKq taKs taKo]
- =>
- taKq -> taKs -> [taKo]
-{-# L #-}
-f2{-r50,x-} =
- _/\_ taKq taKs taKo ->
- _letrec_ {
- f2_aKa :: taKq -> taKs -> [taKo]
- {-# L #-}
- f2_aKa =
- \ x_r3p :: taKq
- {-# L #-}
- x_r3p y_r3q :: taKs
- {-# L #-}
- y_r3q ->
- PrelBase.[]{-5i,w-}{i} _@_ taKo;
- } in f2_aKa
-f{-r51,x-} :: _forall_ [taKN] => taKN -> taKN -> taKN -> [taKN]
-{-# L #-}
-f{-r51,x-} =
- _/\_ taKN ->
- _letrec_ {
- f_aKu :: taKN -> taKN -> taKN -> [taKN]
- {-# L #-}
- f_aKu =
- \ x_r3l :: taKN
- {-# L #-}
- x_r3l y_r3m :: taKN
- {-# L #-}
- y_r3m z_r3n :: taKN
- {-# L #-}
- z_r3n ->
- let { ds_d1y6 :: [taKN]
- {-# L #-}
- ds_d1y6 =
- let { ds_d1yi :: [taKN]
- {-# L #-}
- ds_d1yi =
- let { ds_d1yu :: [taKN]
- {-# L #-}
- ds_d1yu =
- let { ds_d1yG :: [taKN]
- {-# L #-}
- ds_d1yG =
- let { ds_d1yS :: [taKN]
- {-# L #-}
- ds_d1yS =
- let {
- ds_d1z4 :: [taKN]
- {-# L #-}
- ds_d1z4 =
- PrelBase.[]{-5i,w-}{i} {_@_ taKN}
- } in PrelBase.:{-55,w-}{i} {_@_ taKN z_r3n ds_d1z4}
- } in
- PrelBase.:{-55,w-}{i} {_@_ taKN y_r3m ds_d1yS}
- } in
- PrelBase.:{-55,w-}{i} {_@_ taKN x_r3l ds_d1yG}
- } in
- PrelBase.:{-55,w-}{i} {_@_ taKN z_r3n ds_d1yu}
- } in
- PrelBase.:{-55,w-}{i} {_@_ taKN y_r3m ds_d1yi}
- } in
- PrelBase.:{-55,w-}{i} {_@_ taKN x_r3l ds_d1y6};
- } in f_aKu
-end Rec }
projects / ghc-hetmet.git / blobdiff