http://bugzilla.novell.com/show_bug.cgi?id=581985
http://bugzilla.novell.com/show_bug.cgi?id=581985#c0 Summary: Assertion in type resolution when executing generic Reflection.Emit code Classification: Mono Product: Mono: Runtime Version: 2.6.x Platform: PC OS/Version: Windows 7 Status: NEW Severity: Normal Priority: P5 - None Component: JIT AssignedTo: [email protected] ReportedBy: [email protected] QAContact: [email protected] Found By: Third Party Developer/Partner Blocker: --- Description of Problem: Assertion failure when evaluating an expression involving generics and Reflection.Emit. Steps to reproduce the problem: 1. Download and install the latest F# CTP at: http://www.microsoft.com/downloads/details.aspx?FamilyID=ba52e650-4e77-4b0b-b987-9f9ecd3bab3b&displaylang=en 2. Run the F# Interactive window under Mono (mono fsi.exe) 3. Enter the following text: type r<'b> = {b: 'b list list } let {b=b} = {b=[[]]} let f (y:'b) = let x = (b : 'b list list) ();; f 1;; Actual Results: Assertion failure. ERROR:appdomain.c:502:mono_domain_try_type_resolve: assertion failed: (domain != NULL && ((name != NULL) || (tb != NULL))) Expected Results: No crash :) How often does this happen? Every time, but only when using the F# Interactive window (Reflection.Emit). Not when the code is compiled using fsc.exe. Additional Information: Full console session: C:\Program Files (x86)\FSharp-1.9.9.9\bin>mono fsi.exe Microsoft (R) F# 2.0 Interactive build 1.9.9.9 Copyright (c) Microsoft Corporation. All Rights Reserved. For help type #help;; > type r<'b> = {b: 'b list list } let {b=b} = {b=[[]]} let f (y:'b) = let x = (b : 'b list list) ();; type r<'b> = {b: 'b list list;} val b : 'a list list val f : 'b -> unit > f 1;; ** ERROR:appdomain.c:502:mono_domain_try_type_resolve: assertion failed: (domain != NULL && ((name != NULL) || (tb != NULL))) This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information. -- Configure bugmail: http://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug. _______________________________________________ mono-bugs maillist - [email protected] http://lists.ximian.com/mailman/listinfo/mono-bugs
