← Back to branch summary

~ubuntu-branches/ubuntu/lucid/erlang/lucid

« back to all changes in this revision

Viewing changes to lib/dialyzer/src/dialyzer_options.erl

  • Committer: Bazaar Package Importer
  • Author(s): Martin Pitt
  • Date: 2009-11-06 18:54:42 UTC
  • mfrom: (3.3.4 sid)
  • Revision ID: james.westby@ubuntu.com-20091106185442-bqxb11qghumvmvx2
Tags: 1:13.b.2.1-dfsg-1ubuntu1
* Merge with Debian testing; remaining Ubuntu changes:
  - Drop libwxgtk2.8-dev build dependency. Wx isn't in main, and not
    supposed to. (LP #438365)
  - Drop erlang-wx binary.
  - Drop erlang-wx dependency from -megaco, -common-test, and -reltool, they
    do not really need wx. Also drop it from -debugger; the GUI needs wx,
    but it apparently has CLI bits as well, and is also needed by -megaco,
    so let's keep the package for now.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/src/dialyzer_options.erl
226
226
 
227
227
-spec build_warnings([atom()], [dial_warning()]) -> [dial_warning()].
228
228
 
229
 
build_warnings([Opt|Left], Warnings) ->
 
229
build_warnings([Opt|Opts], Warnings) ->
230
230
  NewWarnings =
231
231
    case Opt of
232
232
      no_return ->
250
250
        ordsets:add_element(?WARN_UNMATCHED_RETURN, Warnings);
251
251
      error_handling ->
252
252
        ordsets:add_element(?WARN_RETURN_ONLY_EXIT, Warnings);
253
 
      possible_races ->
254
 
        ordsets:add_element(?WARN_POSSIBLE_RACE, Warnings);
 
253
      race_conditions ->
 
254
        ordsets:add_element(?WARN_RACE_CONDITION, Warnings);
255
255
      specdiffs ->
256
256
        S = ordsets:from_list([?WARN_CONTRACT_SUBTYPE, 
257
257
                               ?WARN_CONTRACT_SUPERTYPE,
264
264
      OtherAtom ->
265
265
        bad_option("Unknown dialyzer warning option", OtherAtom)
266
266
    end,
267
 
  build_warnings(Left, NewWarnings);
 
267
  build_warnings(Opts, NewWarnings);
268
268
build_warnings([], Warnings) ->
269
269
  Warnings.