~rdoering/ubuntu/karmic/erlang/fix-535090

« back to all changes in this revision

Viewing changes to lib/dialyzer/src/dialyzer_bif_constraints.inc

• browse files at revision 17
• compare with another revision
• download diff
• download tarball
• view history from revision 17

Show diffs side-by-side

added

removed

lib/dialyzer/src/dialyzer_bif_constraints.inc

509

509

               end

510

510

           end,

511

511

  ArgV = mk_fun_var(ArgFun, [Dst]),

512

 

  mk_conj_constraint_list([mk_constraint(Dst, sub, t_bool()),

 

512

  DstFun = fun(Map) ->

 

513

               ArgType = lookup_type(Arg, Map),

 

514

               case t_is_none(t_inf(ArgType, Type)) of

 

515

                 true -> t_from_term(false);

 

516

                 false -> 

 

517

                   case t_is_subtype(ArgType, Type) of

 

518

                     true -> t_from_term(true);

 

519

                     false -> t_bool()

 

520

                   end

 

521

               end

 

522

           end,

 

523

  DstV = mk_fun_var(DstFun, [Arg]),

 

524

  mk_conj_constraint_list([mk_constraint(Dst, sub, DstV),

513

525

                           mk_constraint(Arg, sub, ArgV)]).

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1