[Bug 825263] New: YaST function type matching misconsiders the argument types
https://bugzilla.novell.com/show_bug.cgi?id=825263 https://bugzilla.novell.com/show_bug.cgi?id=825263#c0 Summary: YaST function type matching misconsiders the argument types Classification: openSUSE Product: openSUSE Factory Version: 13.1 Milestone 1 Platform: Other OS/Version: Other Status: NEW Severity: Normal Priority: P5 - None Component: YaST2 AssignedTo: jreidinger@suse.com ReportedBy: mvidner@suse.com QAContact: jsrain@suse.com Found By: --- Blocker: ---
From a proposed changelog to the fix (https://github.com/yast/yast-core/commit/7fb894662dba29389bc553ee3ffdbac9b68... )
Fixed function type matching to be contravariant for arguments (return type has always been covariant, correctly). Interface expected to handle "any" argument will no longer accept implementations handling only a specific subtype. Conversely, interfaces expected to handle a "string" will also accept an implementation handling "any". Affects the "is" builtin; breaks *-bindings relying on the bug! TODO: fill in the actual symptoms and occurrences of the bug. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=825263 https://bugzilla.novell.com/show_bug.cgi?id=825263#c1 --- Comment #1 from Josef Reidinger <jreidinger@suse.com> 2013-06-18 00:31:52 UTC --- Fix doesn't show before because it is quite specific and in YCP code it is only in 'is' builtin, where matching functions parameters is not used ( usually only return type ). This bug appear mainly in ycp-ui-bindings which have feature for dynamic languages, that allows runtime match of overloaded function. Due to bug in core type matching, ycp-ui-bindigns have switched who match to what. This feature is only used by dynamic languages like perl or ruby and it is not widely used, so it doesn't appear before. It can be indicated by "No matching function" entry in y2log. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=825263 https://bugzilla.novell.com/show_bug.cgi?id=825263#c2 Josef Reidinger <jreidinger@suse.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #2 from Josef Reidinger <jreidinger@suse.com> 2013-07-04 07:08:38 UTC --- fix is in YaST:Head -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
participants (1)
-
bugzilla_noreply@novell.com