fixed bug

shazqadeer · shazqadeer · commit 15231491915c · 2025-11-29T06:08:01.000-08:00
diff --git a/Source/Concurrency/LinearTypeCollector.cs b/Source/Concurrency/LinearTypeCollector.cs
@@ -55,6 +55,10 @@ private Type OriginalType(Type type)
 
     private void Check()
     {
+      if (program.monomorphizer == null)
+      {
+        return;
+      }
       foreach (var datatypeTypeCtorDecl in program.TopLevelDeclarations.OfType<DatatypeTypeCtorDecl>())
       {
         var originalTypeCtorDecl = Monomorphizer.GetOriginalDecl(datatypeTypeCtorDecl);

Original file line number	Diff line number	Diff line change
`@@ -55,6 +55,10 @@ private Type OriginalType(Type type)`
`55`	`55`
`56`	`56`	`private void Check()`
`57`	`57`	`{`
	`58`	`+ if (program.monomorphizer == null)`
	`59`	`+ {`
	`60`	`+ return;`
	`61`	`+ }`
`58`	`62`	`foreach (var datatypeTypeCtorDecl in program.TopLevelDeclarations.OfType<DatatypeTypeCtorDecl>())`
`59`	`63`	`{`
`60`	`64`	`var originalTypeCtorDecl = Monomorphizer.GetOriginalDecl(datatypeTypeCtorDecl);`