View Attach Info

Add new attachment

Only authorized users are allowed to upload new attachments.

This page (revision-47) was last changed on 27-Sep-2017 15:19 by John Thywissen  

This page was created on 27-Sep-2010 12:18 by JohnThywissen

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

At line 184 removed one line
!! 12: Type inference is failing on nested constructors.
At line 186 removed 3 lines
| __Reporter:__ | David Kitchin
| __Report date-time:__ | 2011-02-28 18:28
| __Orc version:__ | OrcScala r2459
At line 190 removed 27 lines
! Code:
[{orc runnable='false'
[[],[]] :: List[List[Top]]
}]
! Actual output:
{{{
A type argument is overconstrained; inference failed. Please add explicit type arguments. There may also be an underlying type error. [[OrcWiki:OverconstrainedTypeVariableException]]
[[],[]] :: List[List[Top]]
^
}}}
! Reporter's comments:
Constraint generation seems to behave strangely in the presence of nested constructors. The underlying constraint {{{List[Bot] <: List[List[Top]]}}} should succeed trivially, but instead it fails. This is the simplest example I have found which demonstrates the problem. In fact, the expression should have the even more precise type {{{List[List[Bot]]}}}, but I've currently left it as {{{Top}}} for simplicity.
! Orc team response
|| Analysis
| __Repeatable:__ | Yes
| __Root Cause:__ |
| __Proposed Fix:__ |
|| Implementation
| __Fix Made:__ | __Rev:__ __Date:__ __By:__
----
At line 221 added 33 lines
!! %%strike 12: Type inference is failing on nested constructors. %% (fixed)
| __Reporter:__ | David Kitchin
| __Report date-time:__ | 2011-02-28 18:28
| __Orc version:__ | OrcScala r2459
! Code:
[{orc runnable='false'
[[],[]] :: List[List[Top]]
}]
! Actual output:
{{{
A type argument is overconstrained; inference failed. Please add explicit type arguments. There may also be an underlying type error. [[OrcWiki:OverconstrainedTypeVariableException]]
[[],[]] :: List[List[Top]]
^
}}}
! Reporter's comments:
Constraint generation seems to behave strangely in the presence of nested constructors. The underlying constraint {{{List[Bot] <: List[List[Top]]}}} should succeed trivially, but instead it fails. This is the simplest example I have found which demonstrates the problem. In fact, the expression should have the even more precise type {{{List[List[Bot]]}}}, but I've currently left it as {{{Top}}} for simplicity.
! Orc team response
|| Analysis
| __Repeatable:__ | Yes
| __Root Cause:__ |
| __Proposed Fix:__ |
|| Implementation
| __Fix Made:__ | __Rev:__ 2634 __Date:__ 28 Mar 2011 __By:__ dkitchin
----
Version Date Modified Size Author Changes ... Change note
47 27-Sep-2017 15:19 18.993 kB John Thywissen to previous Change Google Code link to GitHub
46 30-Mar-2011 13:23 18.995 kB JohnThywissen to previous | to last
45 30-Mar-2011 00:28 19.976 kB JohnThywissen to previous | to last
44 28-Mar-2011 20:38 19.534 kB DavidKitchin to previous | to last
43 28-Mar-2011 09:26 19.459 kB JohnThywissen to previous | to last
42 28-Mar-2011 09:26 19.451 kB JohnThywissen to previous | to last
41 28-Mar-2011 00:19 19.451 kB DavidKitchin to previous | to last
« This page (revision-47) was last changed on 27-Sep-2017 15:19 by John Thywissen