From: dsyme <unknown>
Date: Tue, 7 Aug 2001 14:45:43 +0000 (+0000)
Subject: [project @ 2001-08-07 14:45:43 by dsyme]
X-Git-Tag: Approximately_9120_patches~1335
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=eb5e27c3536696be04dcaa6e556cdec3e42c5c3f;p=ghc-hetmet.git

[project @ 2001-08-07 14:45:43 by dsyme]
This is the implementation of many of the GHC primitive operations and types for the .NET CLR port of GHC.
---

diff --git a/ghc/lib/std/PrelGHC.ilx.real b/ghc/lib/std/PrelGHC.ilx.real
new file mode 100644
index 0000000..47a0b99
--- /dev/null
+++ b/ghc/lib/std/PrelGHC.ilx.real
@@ -0,0 +1,662 @@
+// The ILX implementation of PrelGHC 
+
+.module extern ilx 'PrelBase.dll'
+.classunion extern thunk [.module ilx 'PrelBase.dll']PrelBase_Bool {.alternative 'PrelBase_False' ()
+.alternative 'PrelBase_True' ()}
+
+.namespace GHC {
+   .class support {
+      .method public static class [.module ilx 'PrelBase.dll']PrelBase_Bool mkBool (bool b) {
+         ldarg b
+         brtrue true
+         newdata class [.module ilx 'PrelBase.dll']PrelBase_Bool, PrelBase_False()
+         ret
+        true:
+         newdata class [.module ilx 'PrelBase.dll']PrelBase_Bool, PrelBase_True()
+         ret
+      }
+      .method public static int32 IntGcdOp (int32,int32) {
+             ldstr "WARNING: IntGcdOp called (warning! not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+         ldc.i4 1
+         ret
+      }
+      .method public static value class PrelGHC_Z1H<int32,int32> IntSubCOp(int32 a,int32 b)    {
+              .locals(int32 r, int32 c)
+             ldstr "WARNING: IntSubCOp called (warning! not yet tested properly)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+              //r=a-b
+              ldarg a ldarg b sub stloc r
+              //c = ((a^r) & (a^b)) >> 31
+              ldloc r ldarg a xor ldarg a ldarg b xor and ldc.i4 31 shr.un stloc c
+              //
+             ldloc r ldloc c newobj void value class PrelGHC_Z1H<int32, int32 >::.ctor(!0,!1)
+             ldstr "a = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldarg a   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "b = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldarg b   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "r = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldloc r   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "c = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldloc c   call void ['mscorlib']System.Console::WriteLine(int32)
+              ret
+       }
+      .method public static value class PrelGHC_Z1H<int32,int32> IntAddCOp(int32 a,int32 b)    {
+              .locals(int32 r, int32 c)
+             ldstr "WARNING: IntAddCOp called (warning! not yet tested properly)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+              //r=a+b
+              ldarg a ldarg b add stloc r
+              //c = ((a^r) & ~(a^b)) >> 31
+              ldloc r ldarg a xor ldarg a ldarg b xor not and ldc.i4 31 shr.un stloc c
+              //
+             ldloc r ldloc c  newobj void value class PrelGHC_Z1H<int32, int32 >::.ctor(!0,!1)
+             ldstr "a = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldarg a   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "b = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldarg b   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "r = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldloc r   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "c = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldloc c   call void ['mscorlib']System.Console::WriteLine(int32)
+              ret
+       }
+
+      // TODO: check me!!! test me!!!!
+      .method public static value class PrelGHC_Z1H<int32,int32> IntMulCOp(int32 a,int32 b)    {
+              .locals(int64 l, int32 r, int32 c)
+
+             ldstr "WARNING: IntMulCOp called (warning! not yet tested properly)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+
+              //r=(StgInt64)a * (StgInt64)b
+              ldarg a conv.i8
+              ldarg b conv.i8
+              mul stloc l 
+              //  r = z.i[R]
+              //  c = z.i[C]
+             ldloc l ldc.i8 0x80000000 rem conv.i4 stloc r
+              ldloc l ldc.i8 0x80000000 div conv.i4 stloc c
+
+             ldloc r ldloc c newobj void value class PrelGHC_Z1H<int32, int32 >::.ctor(!0,!1)
+             ldstr "a = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldarg a   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "b = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldarg b   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "r = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldloc r   call void ['mscorlib']System.Console::WriteLine(int32)
+             ldstr "c = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) ldloc c   call void ['mscorlib']System.Console::WriteLine(int32)
+             ret
+
+       }
+
+      .method public static 
+        // Return type
+        !!0  
+        // Method name
+          'catch'<any,any>( thunk<(func ( /* unit skipped */ ) --> !!0)> f1, thunk<(func (!!1) --> (func ( /* unit skipped */ ) --> !!0))> f2)
+      {
+         .locals(!!0 res, !!1 exn)
+                 //LOG ldstr "LOG: Entering catch..."   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+        .try {
+           ldarg f1
+           // ldunit
+           callfunc () ( /* unit skipped */ ) --> !!0
+           stloc res
+                 //LOG ldstr "LOG: Leaving catch..."   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+           leave retA
+        } catch [mscorlib]System.Object { 
+
+          // exception of type !!1 should be on the stack??
+           dup      ldstr "LOG: CAUGHT! , Exn = "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String) call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.Object)
+          unbox.any !!1
+          stloc exn
+          leave retE
+        }
+
+        retA: 
+             ldloc res
+             ret
+
+        retE: 
+                 ldstr "LOG: CAUGHT! Executing handler..."   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+          ldarg f2
+          ldloc exn
+          tail. callfunc  () (!!1) --> !!0 
+          ret
+
+      }
+
+
+      .method public static !!0 'unblockAsyncExceptions'<any>( thunk<(func ( /* unit skipped */ ) --> !!0)> f ) 
+        {
+             //ldstr "WARNING: unblockAsyncExceptions called (warning! not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldarg f
+             // ldunit
+             tail. callfunc () ( /* unit skipped */ ) --> !!0
+             ret
+        }
+
+      .method public static !!0 'blockAsyncExceptions'<any>( thunk<(func ( /* unit skipped */ ) --> !!0)> f ) 
+        {
+             //ldstr "WARNING: blockAsyncExceptions called (warning! not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldarg f
+             // ldunit
+             tail. callfunc () ( /* unit skipped */ ) --> !!0
+             ret
+        }
+
+
+
+      .method public static !!0 'takeMVar'<any> (class PrelGHC_MVarzh<!!0> mvar)
+       {
+             //ldstr "WARNING: takeMVar called (warning! locking not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldarg mvar ldfld !0 class PrelGHC_MVarzh<!!0>::contents
+             //LOG ldstr "LOG: takeMVar returned: "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String)             dup call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.Object)
+             //LOG ldstr "LOG: for MVar: "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String)             ldarg mvar ldfld int32 class PrelGHC_MVarzh<!!0>::id call void ['mscorlib']System.Console::WriteLine(int32)
+             ret
+      }
+
+
+      .method public static void 'putMVar'<any>(class PrelGHC_MVarzh<!!0> mvar ,!!0 v)
+       {
+             //ldstr "WARNING: putMVar called (warning! locking not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+                ldarg mvar ldarg v stfld !0 class PrelGHC_MVarzh<!!0>::contents
+             
+             //LOG ldstr "LOG: putMVar put: "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String)             ldarg v call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.Object)
+             //LOG ldstr "LOG: for MVar: "   call void ['mscorlib']System.Console::Write(class ['mscorlib']System.String)             ldarg mvar ldfld int32 class PrelGHC_MVarzh<!!0>::id call void ['mscorlib']System.Console::WriteLine(int32)
+         ret
+       }
+
+      // Enter, if (null(Read)) Wait Exit
+      .method public static value class PrelGHC_Z1H<int32,  !!0> 'tryTakeMVar'<any>(class PrelGHC_MVarzh<!!0> mvar)
+       {
+             ldstr "WARNING: tryTakeMVar called (locking not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 1
+             ldarg mvar ldfld !0 class PrelGHC_MVarzh<!!0>::contents
+             newobj void value class PrelGHC_Z1H<int32,!!0>::.ctor(!0,!1)
+             ret
+       }
+
+
+     // Enter, if (null(Read)) Wait Exit
+      .method public static int32 'tryPutMVar'<any>(class PrelGHC_MVarzh<!!0> mvar, !!0 v)
+       {
+             ldstr "WARNING: tryPutMVar called (locking not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 1
+             ret
+       }
+
+
+
+      .method public static int32 isEmptyMVar<any>(class PrelGHC_MVarzh<!!0> mvar)
+       {
+             ldstr "WARNING: isEmptyMVar called (locking not yet implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0
+             ret
+       }
+
+
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerAddOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerAddOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+      .method public static int32 IntegerCmpIntOp(int32, unsigned int8[], int32) {
+             ldstr "WARNING: IntegerCmpIntOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 
+             ret
+       }
+      .method public static int32 IntegerCmpOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerCmpOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 
+             ret
+       }
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerSubOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerSubOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerMulOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerMulOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z3H<int32, unsigned int8[],int32, unsigned int8[]> IntegerQuotRemOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerQuotRemOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z3H<int32, unsigned int8[],int32, unsigned int8[]>::.ctor(!0,!1,!2,!3)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z3H<int32, unsigned int8[],int32, unsigned int8[]> IntegerDivModOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerDivModOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z3H<int32, unsigned int8[],int32, unsigned int8[]>::.ctor(!0,!1,!2,!3)
+             ret
+       }
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerDivExactOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerDivExactOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull 
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerQuotOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerQuotOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull 
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerAndOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerAndOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerRemOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerRemOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+
+       .method public static int32 Integer2IntOp(int32, unsigned int8[]) {
+             ldstr "WARNING: Integer2IntOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0
+             ret
+       }
+
+       .method public static unsigned int32 Integer2WordOp(int32, unsigned int8[]) {
+             ldstr "WARNING: Integer2WordOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0
+             ret
+       }
+
+        .method public static int64 IntegerToInt64Op(int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerToInt64Op called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i8 0
+             ret
+       }
+
+       .method public static unsigned int64 IntegerToWord64Op(int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerToWord64Op called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i8 0
+             ret
+       }
+
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> Int2IntegerOp(int32) {
+             ldstr "WARNING: Integer2IntOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+       .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> Word2IntegerOp(unsigned int32) {
+             ldstr "WARNING: Word2IntegerOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+        .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> Word64ToIntegerOp(unsigned int64) {
+             ldstr "WARNING: Word64ToIntegerOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+        .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> Int64ToIntegerOp(int64) {
+             ldstr "WARNING: Int64ToIntegerOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+    .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerOrOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerOrOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+     .method public static int32 IntegerIntGcdOp(int32, unsigned int8[], int32) {
+             ldstr "WARNING: IntegerOrOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 
+             ret
+       }
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerXorOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerXorOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerGcdOp(int32, unsigned int8[], int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerGcdOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z1H<int32, unsigned int8[]> IntegerComplementOp(int32, unsigned int8[]) {
+             ldstr "WARNING: IntegerComplementOp called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z1H<int32, unsigned int8[]>::.ctor(!0,!1)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z2H<int32,int32,  unsigned int8[]> decodeFloat(float32 f) {
+             ldstr "WARNING: decodeFloat called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldarg f conv.r8 call float64 [mscorlib]System.Math::Abs(float64) call float64 [mscorlib]System.Math::Log(float64) conv.i4 
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z2H<int32,int32,  unsigned int8[]>::.ctor(!0,!1,!2)
+             ret
+       }
+
+      .method public static value class PrelGHC_Z2H<int32,int32,  unsigned int8[]> decodeDouble(float64 f) {
+             ldstr "WARNING: decodeDouble called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+             ldarg f  call float64 [mscorlib]System.Math::Abs(float64) call float64 [mscorlib]System.Math::Log(float64) conv.i4 
+             ldc.i4 0 ldnull
+             newobj void value class PrelGHC_Z2H<int32,int32,  unsigned int8[]>::.ctor(!0,!1,!2)
+             ret
+       }
+
+
+      .method public static !!0[] newArray<any>(int32 n, !!0 x)  {
+           .locals(int32 i, !!0[] res)
+           ldarg n
+           newarr !!0
+           stloc res
+           ldc.i4 0
+           stloc i
+loop:
+           ldarg n
+           ldloc i
+           beq end
+           ldloc res
+           ldloc i
+           ldarg x
+           stelem.any !!0
+           br loop
+end:
+           ldloc res
+           ret
+       }
+
+
+      .method public static int32 dataToTag<any>(!!0 x)    {
+           ldstr "WARNING: dataToTag called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+              ldc.i4 0
+              ret
+       }
+      .method public static !!0 tagToEnum<any>(int32)    {
+           ldstr "WARNING: tagToEnum called (not implemented)"   call void ['mscorlib']System.Console::WriteLine(class ['mscorlib']System.String)
+              ldnull
+              ret
+       }
+   }
+}
+
+//--------------------------------------------
+// Builtin classes
+
+.class public 'PrelGHC_MVarzh'<any> {
+  .field public !0 contents
+  .field public int32 id
+  .field static public int32 ids
+    .method public rtspecialname specialname instance void .ctor() {
+       ldarg 0
+       ldsfld int32 class PrelGHC_MVarzh::ids
+       ldc.i4 1
+       add
+       dup
+        stsfld int32 class PrelGHC_MVarzh::ids
+       stfld int32 class PrelGHC_MVarzh<!0>::id
+
+       ret 
+    }
+}
+
+.class public 'PrelGHC_StablePtrzh' /* <any> */ {
+  .field public class [mscorlib]System.Object contents
+    .method public rtspecialname specialname instance void .ctor(class [mscorlib]System.Object) {
+       ldarg 0 ldarg 1 stfld class [mscorlib]System.Object class PrelGHC_StablePtrzh::contents
+       ret 
+    }
+}
+
+.class public 'PrelGHC_StableNamezh' /* <any> */ {
+    .method public rtspecialname specialname instance void .ctor() {
+       ret 
+    }
+}
+
+.class public 'PrelGHC_Foreignzh' {
+  .field public void * contents
+    .method public rtspecialname specialname instance void .ctor(void *) {
+       ldarg 0 ldarg 1 stfld void * class PrelGHC_Foreignzh::contents
+       ret 
+    }
+}
+
+// TODO
+.class public 'PrelGHC_Weakzh'<any> {
+  .field public !0 contents
+   .field public thunk<(func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)> _finalizer
+   .method public rtspecialname specialname instance void .ctor(!0 x, thunk<(func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)> f) {
+       ldarg 0 ldarg x stfld !0 class PrelGHC_Weakzh<!0>::contents
+       ldarg 0 ldarg f stfld thunk<(func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)> class PrelGHC_Weakzh<!0>::_finalizer
+       ret 
+    }
+   .method public static  value class PrelGHC_Z1H<int32,thunk<(func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)>> finalizer<any>(class PrelGHC_Weakzh<!!0>) { 
+       ldc.i4 1
+       ldarg 0 ldfld thunk<(func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)> class PrelGHC_Weakzh<!!0>::_finalizer
+         newobj void value class PrelGHC_Z1H<int32,thunk<(func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)>>::.ctor(!0,!1)
+       ret
+   }
+   .method public static value class PrelGHC_Z1H<int32,!!0> deref<any>(class PrelGHC_Weakzh<!!0>) { 
+       ldc.i4 1
+       ldarg 0 ldfld !0 class PrelGHC_Weakzh<!!0>::contents
+       newobj void  value class PrelGHC_Z1H<int32,!!0>::.ctor(!0,!1)
+       ret
+   }
+   .method public  static  class PrelGHC_Weakzh<!!1> bake<any,any,any>(!!0,!!1 object,!!2 finalizer) {
+         ldarg object 
+	 // TODO: work out how to get finalizer correctly...  why is it a type variable anyway? 
+         // The unbox below doesn't work in all circumstances because of known problems with 
+         // the runtime types ascribed to funtion types (see RAID bug)
+         ldnull // ldarg finalizer unbox.any (func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)
+         newobj void class 'PrelGHC_Weakzh'<!!1>::.ctor(!0 x, (func ( /* unit skipped */ ) --> class [.module ilx 'PrelBase.dll']PrelBase_Z0T)) 
+         ret 
+   }
+
+}
+
+.class public 'PrelGHC_MutVarzh'<any> { 
+  .field public !0 contents
+    .method public rtspecialname specialname instance void .ctor(!0) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_MutVarzh<!0>::contents
+       ret 
+    }
+    .method public rtspecialname specialname instance void .ctor(!0) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_MutVarzh<!0>::contents
+       ret 
+    }
+}
+
+.class public PrelGHC_ZCTCCallable<any> {
+}
+
+.class public PrelGHC_BCOzh {
+}
+
+.class public PrelGHC_ZCTCReturnable<any> {
+}
+
+
+//------------------------------------------------------------
+// Builtin Unboxed Tuple Types
+
+.class value sealed  'PrelGHC_Z0H' <any>  extends ['mscorlib']System.ValueType { 
+    .method public rtspecialname specialname instance void .ctor(!0) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z0H<!0>::fld0
+       ret 
+    }
+   .field public !0 fld0
+}
+
+.class value sealed 'PrelGHC_Z1H' <any,any> extends ['mscorlib']System.ValueType  { 
+    .method public rtspecialname specialname instance void .ctor(!0,!1) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z1H<!0,!1>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z1H<!0,!1>::fld1
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+}
+
+.class value sealed 'PrelGHC_Z2H' <any,any,any>  extends ['mscorlib']System.ValueType { 
+    .method public rtspecialname specialname instance void .ctor(!0,!1,!2) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z2H<!0,!1,!2>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z2H<!0,!1,!2>::fld1
+       ldarg 0 ldarg 3 stfld !2 class PrelGHC_Z2H<!0,!1,!2>::fld2
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+   .field public !2 fld2
+}
+
+.class value sealed 'PrelGHC_Z3H' <any,any,any,any>  extends ['mscorlib']System.ValueType { 
+    .method public rtspecialname specialname instance void .ctor(!0,!1,!2,!3) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z3H<!0,!1,!2,!3>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z3H<!0,!1,!2,!3>::fld1
+       ldarg 0 ldarg 3 stfld !2 class PrelGHC_Z3H<!0,!1,!2,!3>::fld2
+       ldarg 0 ldarg 4 stfld !3 class PrelGHC_Z3H<!0,!1,!2,!3>::fld3
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+   .field public !2 fld2
+   .field public !3 fld3
+}
+
+.class value sealed 'PrelGHC_Z4H' <any,any,any,any,any>  extends ['mscorlib']System.ValueType { 
+    .method public rtspecialname specialname instance void .ctor(!0,!1,!2,!3,!4) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z4H<!0,!1,!2,!3,!4>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z4H<!0,!1,!2,!3,!4>::fld1
+       ldarg 0 ldarg 3 stfld !2 class PrelGHC_Z4H<!0,!1,!2,!3,!4>::fld2
+       ldarg 0 ldarg 4 stfld !3 class PrelGHC_Z4H<!0,!1,!2,!3,!4>::fld3
+       ldarg 0 ldarg 5 stfld !4 class PrelGHC_Z4H<!0,!1,!2,!3,!4>::fld4
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+   .field public !2 fld2
+   .field public !3 fld3
+   .field public !4 fld4
+}
+
+.class value sealed 'PrelGHC_Z5H' <any,any,any,any,any,any>  extends ['mscorlib']System.ValueType { 
+   .method public rtspecialname specialname instance void .ctor(!0,!1,!2,!3,!4,!5) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z5H<!0,!1,!2,!3,!4,!5>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z5H<!0,!1,!2,!3,!4,!5>::fld1
+       ldarg 0 ldarg 3 stfld !2 class PrelGHC_Z5H<!0,!1,!2,!3,!4,!5>::fld2
+       ldarg 0 ldarg 4 stfld !3 class PrelGHC_Z5H<!0,!1,!2,!3,!4,!5>::fld3
+       ldarg 0 ldarg 5 stfld !4 class PrelGHC_Z5H<!0,!1,!2,!3,!4,!5>::fld4
+       ldarg 0 ldarg 6 stfld !5 class PrelGHC_Z5H<!0,!1,!2,!3,!4,!5>::fld5
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+   .field public !2 fld2
+   .field public !3 fld3
+   .field public !4 fld4
+   .field public !5 fld5
+}
+
+.class value sealed 'PrelGHC_Z6H' <any,any,any,any,any,any,any>  extends ['mscorlib']System.ValueType { 
+   .method public rtspecialname specialname instance void .ctor(!0,!1,!2,!3,!4,!5,!6) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z6H<!0,!1,!2,!3,!4,!5,!6>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z6H<!0,!1,!2,!3,!4,!5,!6>::fld1
+       ldarg 0 ldarg 3 stfld !2 class PrelGHC_Z6H<!0,!1,!2,!3,!4,!5,!6>::fld2
+       ldarg 0 ldarg 4 stfld !3 class PrelGHC_Z6H<!0,!1,!2,!3,!4,!5,!6>::fld3
+       ldarg 0 ldarg 5 stfld !4 class PrelGHC_Z6H<!0,!1,!2,!3,!4,!5,!6>::fld4
+       ldarg 0 ldarg 6 stfld !5 class PrelGHC_Z6H<!0,!1,!2,!3,!4,!5,!6>::fld5
+       ldarg 0 ldarg 7 stfld !6 class PrelGHC_Z6H<!0,!1,!2,!3,!4,!5,!6>::fld6
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+   .field public !2 fld2
+   .field public !3 fld3
+   .field public !4 fld4
+   .field public !5 fld5
+   .field public !6 fld6
+}
+
+.class value sealed 'PrelGHC_Z7H' <any,any,any,any,any,any,any,any>  extends ['mscorlib']System.ValueType { 
+   .method public rtspecialname specialname instance void .ctor(!0,!1,!2,!3,!4,!5,!6,!7) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld1
+       ldarg 0 ldarg 3 stfld !2 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld2
+       ldarg 0 ldarg 4 stfld !3 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld3
+       ldarg 0 ldarg 5 stfld !4 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld4
+       ldarg 0 ldarg 6 stfld !5 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld5
+       ldarg 0 ldarg 7 stfld !6 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld6
+       ldarg 0 ldarg 8 stfld !7 class PrelGHC_Z7H<!0,!1,!2,!3,!4,!5,!6,!7>::fld7
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+   .field public !2 fld2
+   .field public !3 fld3
+   .field public !4 fld4
+   .field public !5 fld5
+   .field public !6 fld6
+   .field public !7 fld7
+}
+
+
+// Phew...This is needed by the optimized Haskell library....
+// - TODO: fill in the rest!
+.class value sealed 'PrelGHC_Z18H' <any,any,any,any,any,any,any,any,any,any,any,any,any,any,any,any,any,any>  extends ['mscorlib']System.ValueType { 
+   .method public rtspecialname specialname instance void .ctor(!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17) {
+       ldarg 0 ldarg 1 stfld !0 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld0
+       ldarg 0 ldarg 2 stfld !1 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld1
+       ldarg 0 ldarg 3 stfld !2 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld2
+       ldarg 0 ldarg 4 stfld !3 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld3
+       ldarg 0 ldarg 5 stfld !4 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld4
+       ldarg 0 ldarg 6 stfld !5 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld5
+       ldarg 0 ldarg 7 stfld !6 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld6
+       ldarg 0 ldarg 8 stfld !7 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld7
+       ldarg 0 ldarg 9 stfld !8 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld8
+       ldarg 0 ldarg 10 stfld !9 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld9
+       ldarg 0 ldarg 11 stfld !10 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld10
+       ldarg 0 ldarg 12 stfld !11 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld11
+       ldarg 0 ldarg 13 stfld !12 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld12
+       ldarg 0 ldarg 14 stfld !13 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld13
+       ldarg 0 ldarg 15 stfld !14 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld14
+       ldarg 0 ldarg 16 stfld !15 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld15
+       ldarg 0 ldarg 17 stfld !16 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld16
+       ldarg 0 ldarg 18 stfld !17 class PrelGHC_Z18H<!0,!1,!2,!3,!4,!5,!6,!7,!8,!9,!10,!11,!12,!13,!14,!15,!16,!17>::fld17
+       ret 
+    }
+   .field public !0 fld0
+   .field public !1 fld1
+   .field public !2 fld2
+   .field public !3 fld3
+   .field public !4 fld4
+   .field public !5 fld5
+   .field public !6 fld6
+   .field public !7 fld7
+   .field public !8 fld8
+   .field public !9 fld9
+   .field public !10 fld10
+   .field public !11 fld11
+   .field public !12 fld12
+   .field public !13 fld13
+   .field public !14 fld14
+   .field public !15 fld15
+   .field public !16 fld16
+   .field public !17 fld17
+
+}
+
+.classunion thunk '()'  { 
+   .alternative '()'()
+}
+