Unevaluated tasks in C# and Green-Marl
Unevaluated tasks are tasks that were scheduled for evaluation but were not evaluated. A task is scheduled for evaluation if the task was added in the last collect phase, or because it needs re-evaluation caused by a change of definitions and properties in the index. A task is only evaluated if all its dependencies have been evaluated. If the task graph is constructed in a proper way, there should be no unevaluated tasks unless there are bugs in the task engine evaluation algorithm. If a task graph contains cycles, e.g. task A depends on B, B on C and C on A, these tasks cannot be evaluated because their dependencies can never be met, these tasks will then be unevaluated.
In C#, a full analysis of the csharp-examples yields the following unevaluated tasks:
Submitted by Gabriël Konat on 28 June 2013 at 01:542503 task evaluated, 131 task unevaluated. -2147481101,DisambiguateDefs(Result(-2147481102),[Prop(NablProp_parameter-types,Result(-2147481103),[])],NablNsFunction,"func"),[-2147481103,-2147481102] -2147483601,PropCheck(Result(-2147483604),StringTy),[-2147483604] -2147482338,DisambiguateDefs(Result(-2147482339),[Prop(NablProp_parameter-types,Result(-2147482351),[])],NablNsFunction,"factorial"),[-2147482351,-2147482339] -2147481641,PropConstraint([Prop(NablProp_parameter-types,Result(-2147482351),[])],Result(-2147481649)),[-2147481649,-2147482351] -2147482485,Rewrite(Coerce,[Result(-2147482486),Result(-2147482493)]),[-2147482493,-2147482486] -2147482331,DisambiguateDefs(Result(-2147482332),[Prop(NablProp_parameter-types,Result(-2147482351),[])],NablNsFunction,"factorial"),[-2147482351,-2147482332] -2147483151,DisambiguateDefs(Result(-2147483152),[Prop(NablProp_parameter-types,Result(-2147483167),[])],NablNsFunction,"print"),[-2147483167,-2147483152] -2147483056,Choice([Result(-2147483057)]),[-2147483057] -2147481871,Message(Result(-2147481872),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",7,13,121,125),Add(VarRef("x"{Use(Result(-2147481881))}){(Type,Result(-2147481879))},IntLit("1"){(Type,Result(-2147483604))}){(Type,Result(-2147481873))},"incompatible with declared return type")),[-2147483604,-2147481881,-2147481879,-2147481873,-2147481872] -2147482332,PropConstraint([Prop(NablProp_parameter-types,Result(-2147482351),[])],Result(-2147482333)),[-2147482333,-2147482351] -2147482486,Rewrite(BinCoerce,[Result(-2147482489),Result(-2147483600)]),[-2147483600,-2147482489] -2147483142,Choice([Result(-2147483159),Result(-2147483151),Result(-2147483143)]),[-2147483143,-2147483151,-2147483159] -2147483065,Rewrite(BinCoerce,[Result(-2147483068),Result(-2147483600)]),[-2147483600,-2147483068] -2147483593,Rewrite(Coerce,[Result(-2147483594),IntTy]),[-2147483594] -2147481121,PropLookup(Type,"func"{Use(Result(-2147481123))}),[-2147481123] -2147481640,DisambiguateDefs(Result(-2147481641),[Prop(NablProp_parameter-types,Result(-2147482351),[])],NablNsFunction,"inherited"),[-2147482351,-2147481641] -2147481110,Choice([Result(-2147481111)]),[-2147481111] -2147482505,Rewrite(BinCoerce,[Result(-2147482508),Result(-2147483600)]),[-2147483600,-2147482508] -2147482689,Rewrite(Coerce,[Result(-2147482690),TypeExp(TypePart("URL"{Use(Result(-2147482836))}))]),[-2147482836,-2147482690] -2147481102,PropConstraint([Prop(NablProp_parameter-types,Result(-2147481103),[])],Result(-2147481142)),[-2147481142,-2147481103] -2147482330,Choice([Result(-2147482345),Result(-2147482338),Result(-2147482331)]),[-2147482331,-2147482338,-2147482345] -2147483152,PropConstraint([Prop(NablProp_parameter-types,Result(-2147483167),[])],Result(-2147483153)),[-2147483153,-2147483167] -2147483602,PropCheck(Result(-2147483604),IntTy),[-2147483604] -2147481639,Choice([Result(-2147481640)]),[-2147481640] -2147483066,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/contextual.cs",20,16,272,272),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147482504,Rewrite(Coerce,[Result(-2147482505),Result(-2147482512)]),[-2147482512,-2147482505] -2147483592,Message(Result(-2147483593),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/negative/typing/arithmetics.cs",5,13,81,88),Add(IntLit("1"){(Type,Result(-2147483604))},True{(Type,Result(-2147483603))}){(Type,Result(-2147483594))},"incompatible with declared return type")),[-2147483603,-2147483604,-2147483594,-2147483593] -2147482424,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",41,14,565,565),IntLit("1"){(Type,Result(-2147483604))},"incomparable")),[-2147483604,-2147483600] -2147481860,DisambiguateDefs(Result(-2147481861),[Prop(NablProp_parameter-types,Result(-2147483646),[])],NablNsFunction,"inherited"),[-2147483646,-2147481861] -2147482709,DisambiguateDefs(Result(-2147482710),[Prop(NablProp_parameter-types,Result(-2147483646),[])],NablNsFunction,"Homepage"),[-2147483646,-2147482710] -2147482487,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",35,12,498,498),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147481924,Rewrite(Coerce,[Result(-2147483604),IntTy]),[-2147483604] -2147481111,Choice([Result(-2147481116),Result(-2147481114),Result(-2147481112)]),[-2147481112,-2147481114,-2147481116] -2147482690,PropLookup(Type,"Homepage"{Use(Result(-2147482692))}),[-2147482692] -2147482346,PropConstraint([Prop(NablProp_parameter-types,Result(-2147482351),[])],Result(-2147482347)),[-2147482347,-2147482351] -2147483143,DisambiguateDefs(Result(-2147483144),[Prop(NablProp_parameter-types,Result(-2147483167),[])],NablNsFunction,"print"),[-2147483167,-2147483144] -2147483160,PropConstraint([Prop(NablProp_parameter-types,Result(-2147483167),[])],Result(-2147483161)),[-2147483161,-2147483167] -2147483057,Choice([Result(-2147483062),Result(-2147483060),Result(-2147483058)]),[-2147483058,-2147483060,-2147483062] -2147482325,PropCheck(Result(-2147482327),IntTy),[-2147482327] -2147481069,Message(Result(-2147481924),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/overriding.cs",3,13,62,62),IntLit("0"){(Type,Result(-2147483604))},"incompatible with declared return type")),[-2147483604,-2147481924] -2147482353,Choice([Result(-2147483602)]),[-2147483602] -2147481108,PropLookup(Type,"func"{Use(Result(-2147481110))}),[-2147481110] -2147481873,Rewrite(BinCoerce,[Result(-2147481876),Result(-2147483600)]),[-2147483600,-2147481876] -2147482345,DisambiguateDefs(Result(-2147482346),[Prop(NablProp_parameter-types,Result(-2147482351),[])],NablNsFunction,"factorial"),[-2147482351,-2147482346] -2147483598,PropCheck(Result(-2147483603),IntTy),[-2147483603] -2147481638,Choice([Result(-2147481639)]),[-2147481639] -2147481099,DisambiguateDefs(Result(-2147481100),[Prop(NablProp_parameter-types,Result(-2147481103),[])],NablNsFunction,"func"),[-2147481103,-2147481100] -2147483058,DisambiguateDefs(Result(-2147483059),[Prop(NablProp_parameter-types,Result(-2147483064),[])],NablNsFunction,"print"),[-2147483064,-2147483059] -2147481842,Message(Result(-2147481843),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",13,12,191,199),"inherited","Unresolved reference")),[-2147481843] -2147483144,PropConstraint([Prop(NablProp_parameter-types,Result(-2147483167),[])],Result(-2147483145)),[-2147483145,-2147483167] -2147481117,PropConstraint([Prop(NablProp_parameter-types,Result(-2147482351),[])],Result(-2147481142)),[-2147481142,-2147482351] -2147483059,PropConstraint([Prop(NablProp_parameter-types,Result(-2147483064),[])],Result(-2147483145)),[-2147483145,-2147483064] -2147483600,Choice([Result(-2147483602),Result(-2147483601)]),[-2147483601,-2147483602] -2147482324,Choice([Result(-2147482325)]),[-2147482325] -2147481844,Choice([Result(-2147481860),Result(-2147481852),Result(-2147481845)]),[-2147481845,-2147481852,-2147481860] -2147482523,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",33,22,454,455),IntLit("10"){(Type,Result(-2147483604))},"incomparable")),[-2147483604,-2147483600] -2147481872,Rewrite(Coerce,[Result(-2147481873),IntTy]),[-2147481873] -2147481109,Message(Result(-2147481110),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/overloading.cs",8,14,186,189),"func","Unresolved reference")),[-2147481110] -2147481843,Choice([Result(-2147481844)]),[-2147481844] -2147482323,Message(Result(-2147482324),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",46,21,639,656),FunCall("factorial"{Use(Result(-2147482329))},[Sub(VarRef("num"{Use(Result(-2147482431))}){(Type,Result(-2147482429))},IntLit("1"){(Type,Result(-2147483604))}){(Type,Result(-2147483604))}]{(Type,Result(-2147482351))}){(Type,Result(-2147482327))},"int expected")),[-2147483604,-2147482431,-2147482429,-2147482351,-2147482329,-2147482327,-2147482324] -2147481100,PropConstraint([Prop(NablProp_parameter-types,Result(-2147481103),[])],Result(-2147481134)),[-2147481134,-2147481103] -2147481637,Message(Result(-2147481638),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",36,7,494,502),"inherited","Unresolved reference")),[-2147481638] -2147482506,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",33,35,467,467),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147483599,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/negative/typing/arithmetics.cs",5,13,81,81),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147481049,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/typing/arithmetics.cs",5,13,81,81),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147481096,Choice([Result(-2147481101),Result(-2147481099),Result(-2147481097)]),[-2147481097,-2147481099,-2147481101] -2147481048,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/typing/arithmetics.cs",5,17,85,85),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147483060,DisambiguateDefs(Result(-2147483061),[Prop(NablProp_parameter-types,Result(-2147483064),[])],NablNsFunction,"print"),[-2147483064,-2147483061] -2147481140,DisambiguateDefs(Result(-2147481141),[Prop(NablProp_parameter-types,Result(-2147483646),[])],NablNsFunction,"func"),[-2147483646,-2147481141] -2147481841,PropLookup(Type,"inherited"{Use(Result(-2147481843))}),[-2147481843] -2147482693,Choice([Result(-2147482709),Result(-2147482701),Result(-2147482694)]),[-2147482694,-2147482701,-2147482709] -2147482420,Rewrite(Coerce,[Result(-2147483604),TypeExp(TypePart("Int"{Use(Result(-2147482590))})){(Type,IntTy)}]),[-2147482590,-2147483604] -2147481636,PropLookup(Type,"inherited"{Use(Result(-2147481638))}),[-2147481638] -2147481116,DisambiguateDefs(Result(-2147481117),[Prop(NablProp_parameter-types,Result(-2147482351),[])],NablNsFunction,"func"),[-2147482351,-2147481117] -2147482327,PropLookup(Type,"factorial"{Use(Result(-2147482329))}),[-2147482329] -2147481772,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",21,17,312,312),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147481097,DisambiguateDefs(Result(-2147481098),[Prop(NablProp_parameter-types,Result(-2147481103),[])],NablNsFunction,"func"),[-2147481103,-2147481098] -2147482352,Message(Result(-2147482353),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",46,37,655,655),IntLit("1"){(Type,Result(-2147483604))},"int expected")),[-2147483604,-2147482353] -2147481738,Message(Result(-2147482353),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",27,26,403,403),IntLit("2"){(Type,Result(-2147483604))},"int expected")),[-2147483604,-2147482353] -2147481047,Rewrite(BinCoerce,[Result(-2147483600),Result(-2147483600)]),[-2147483600] -2147483596,Choice([Result(-2147483598),Result(-2147483597)]),[-2147483597,-2147483598] -2147481124,Choice([Result(-2147481140),Result(-2147481132),Result(-2147481125)]),[-2147481125,-2147481132,-2147481140] -2147481107,Rewrite(Coerce,[Result(-2147481108),TypeExp(TypePart("Int"{Use(Result(-2147481254))})){(Type,IntTy)}]),[-2147481254,-2147481108] -2147482351,PropCalc([Result(-2147483604)]),[-2147483604] -2147483139,PropLookup(Type,"print"{Use(Result(-2147483141))}),[-2147483141] -2147483061,PropConstraint([Prop(NablProp_parameter-types,Result(-2147483064),[])],Result(-2147483153)),[-2147483153,-2147483064] -2147481874,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",7,17,125,125),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147481840,Rewrite(Coerce,[Result(-2147481841),IntTy]),[-2147481841] -2147481063,Message(Result(-2147481924),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/overriding.cs",9,13,122,122),IntLit("1"){(Type,Result(-2147483604))},"incompatible with declared return type")),[-2147483604,-2147481924] -2147481115,PropConstraint([Prop(NablProp_parameter-types,Result(-2147482351),[])],Result(-2147481134)),[-2147481134,-2147482351] -2147483597,PropCheck(Result(-2147483603),StringTy),[-2147483603] -2147481737,Message(Result(-2147481924),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",27,12,389,403),Mul(FunCall("inherited"{Use(Result(-2147481744))},[]{(Type,Result(-2147483646))}){(Type,Result(-2147481742))},IntLit("2"){(Type,Result(-2147483604))}){(Type,Result(-2147483604))},"incompatible with declared return type")),[-2147483604,-2147483646,-2147481744,-2147481742,-2147481924] -2147481046,Rewrite(Coerce,[Result(-2147481047),IntTy]),[-2147481047] -2147481098,PropConstraint([Prop(NablProp_parameter-types,Result(-2147481103),[])],Result(-2147481127)),[-2147481127,-2147481103] -2147483594,Rewrite(BinCoerce,[Result(-2147483600),Result(-2147483596)]),[-2147483596,-2147483600] -2147482691,Message(Result(-2147482692),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",25,14,333,340),"Homepage","Unresolved reference")),[-2147482692] -2147481123,Choice([Result(-2147481124)]),[-2147481124] -2147483168,Rewrite(BinCoerce,[Result(-2147483171),Result(-2147483600)]),[-2147483600,-2147483171] -2147483062,DisambiguateDefs(Result(-2147483063),[Prop(NablProp_parameter-types,Result(-2147483064),[])],NablNsFunction,"print"),[-2147483064,-2147483063] -2147483140,Message(Result(-2147483141),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/contextual.cs",17,8,203,207),"print","Unresolved reference")),[-2147483141] -2147481094,Message(Result(-2147481095),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/overloading.cs",9,17,212,215),"func","Unresolved reference")),[-2147481095] -2147481923,Message(Result(-2147481924),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",3,12,68,68),IntLit("1"){(Type,Result(-2147483604))},"incompatible with declared return type")),[-2147483604,-2147481924] -2147482329,Choice([Result(-2147482330)]),[-2147482330] -2147481093,PropLookup(Type,"func"{Use(Result(-2147481095))}),[-2147481095] -2147481769,Message(Result(-2147481770),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",21,13,308,312),Add(VarRef("x"{Use(Result(-2147481779))}){(Type,Result(-2147481777))},IntLit("1"){(Type,Result(-2147483604))}){(Type,Result(-2147481771))},"incompatible with declared return type")),[-2147483604,-2147481779,-2147481777,-2147481771,-2147481770] -2147483159,DisambiguateDefs(Result(-2147483160),[Prop(NablProp_parameter-types,Result(-2147483167),[])],NablNsFunction,"print"),[-2147483167,-2147483160] -2147481103,PropCalc([Result(-2147483604),Result(-2147481634)]),[-2147481634,-2147483604] -2147481839,Message(Result(-2147481840),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/inheritance2.cs",13,12,191,201),FunCall("inherited"{Use(Result(-2147481843))},[]{(Type,Result(-2147483646))}){(Type,Result(-2147481841))},"incompatible with declared return type")),[-2147483646,-2147481843,-2147481841,-2147481840] -2147483603,PropCalc(BoolTy),[-2147482426,-2147483600,-2147482525] -2147481045,Message(Result(-2147481046),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/typing/arithmetics.cs",5,13,81,85),Add(IntLit("1"){(Type,Result(-2147483604))},IntLit("1"){(Type,Result(-2147483604))}){(Type,Result(-2147481047))},"incompatible with declared return type")),[-2147483604,-2147481047,-2147481046] -2147483063,PropConstraint([Prop(NablProp_parameter-types,Result(-2147483064),[])],Result(-2147483161)),[-2147483161,-2147483064] -2147483169,Message(Result(-2147483600),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/contextual.cs",17,16,211,211),IntLit("1"){(Type,Result(-2147483604))},"int or string expected")),[-2147483604,-2147483600] -2147481114,DisambiguateDefs(Result(-2147481115),[Prop(NablProp_parameter-types,Result(-2147482351),[])],NablNsFunction,"func"),[-2147482351,-2147481115] -2147482339,PropConstraint([Prop(NablProp_parameter-types,Result(-2147482351),[])],Result(-2147482340)),[-2147482340,-2147482351] -2147481112,DisambiguateDefs(Result(-2147481113),[Prop(NablProp_parameter-types,Result(-2147482351),[])],NablNsFunction,"func"),[-2147482351,-2147481113] -2147483167,PropCalc([Result(-2147483168)]),[-2147483168] -2147483595,Message(Result(-2147483596),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/negative/typing/arithmetics.cs",5,17,85,88),True{(Type,Result(-2147483603))},"int or string expected")),[-2147483603,-2147483596] -2147481095,Choice([Result(-2147481096)]),[-2147481096] -2147483604,PropCalc(IntTy),[-2147481740,-2147482324,-2147482353,-2147482355] -2147483055,Message(Result(-2147483056),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/contextual.cs",20,8,264,268),"print","Unresolved reference")),[-2147483056] -2147481770,Rewrite(Coerce,[Result(-2147481771),IntTy]),[-2147481771] -2147483082,Rewrite(Coerce,[Result(-2147483604),Result(-2147483083)]),[-2147483083,-2147483604] -2147481122,Message(Result(-2147481123),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/overloading.cs",7,6,164,167),"func","Unresolved reference")),[-2147481123] -2147482692,Choice([Result(-2147482693)]),[-2147482693] -2147482328,Message(Result(-2147482329),Failure,Error(("/Users/gohla/Spoofax/Repositories/github.com/nabl-tests/csharp/examples/positive/example2.cs",46,21,639,647),"factorial","Unresolved reference")),[-2147482329] -2147481092,Rewrite(Coerce,[Result(-2147481093),TypeExp(TypePart("String"{Use(Result(-2147481193))})){(Type,StringTy)}]),[-2147481193,-2147481093] -2147481771,Rewrite(BinCoerce,[Result(-2147481774),Result(-2147483600)]),[-2147483600,-2147481774] -2147483054,PropLookup(Type,"print"{Use(Result(-2147483056))}),[-2147483056] -2147483141,Choice([Result(-2147483142)]),[-2147483142] -2147481113,PropConstraint([Prop(NablProp_parameter-types,Result(-2147482351),[])],Result(-2147481127)),[-2147481127,-2147482351] -2147483064,PropCalc([Result(-2147483065)]),[-2147483065]
Issue Log
On 28 June 2013 at 20:05 Gabriël Konat commented:
I found a weird cycle in C#:
-2147482353 -> -2147483602: -> -2147483604
-2147482353: Task(Choice([Result(-2147483602)]), results=[], failed=false, message=null] - [-2147483602]
-2147483602: Task(PropCheck(Result(-2147483604),IntTy), results=[], failed=false, message=null] - [-2147483604]
-2147483604: Task(PropCalc(IntTy), results=[], failed=false, message=null] - [-2147482355, -2147482353, -2147482324, -2147481740]The PropCalc(IntTy) task depends dynamically on several other tasks (list behind the -), that is weird.
On 28 June 2013 at 22:48 Gabriël Konat commented:
After some discussion with Guido we found out the most likely causes of this problem.
- The task identifier does not depend on the implicit dependencies of a task. This should break the cycle if it does.
- Implicit dependencies are not taken into account when creating instruction combinations for a task. They should be taken into account, if any of these implicit dependencies fail then the task also fails.
On 2 July 2013 at 02:11 Gabriël Konat commented:
Fixed in https://github.com/metaborg/runtime-libraries/commit/828db66a8a6fad0d1c4fb10f3896b1c2f880345e and https://github.com/metaborg/runtime-libraries/commit/9bf8a8e8de29de46c47b0482e050f94ec92852ef.
On 2 July 2013 at 02:11 Gabriël Konat closed this issue.
Log in to post comments