lib: keys in maps and sets are not nullable

[nit.git] / lib / opts.nit

diff --git a/lib/opts.nit b/lib/opts.nit
index 1673215..fd4a8a1 100644 (file)
--- a/lib/opts.nit
+++ b/lib/opts.nit
@@ -69,9 +69,8 @@ class Option
 
        fun pretty_default: String
        do
-               if default_value != null then
-                       return " ({default_value})"
-               end
+               var dv = default_value
+               if dv != null then return " ({dv})"
                return ""
        end
 
@@ -151,6 +150,8 @@ special OptionParameter
                return id
        end
 
+       fun value_name: String = _enum[value]
+
        redef fun pretty_default
        do
                if default_value != null then