Fix constructor annotations signature

mmhelloworld · Jun 2, 2024 · 2f0d523 · 2f0d523
1 parent e49feac
commit 2f0d523
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Compiler/Jvm/Codegen.idr b/src/Compiler/Jvm/Codegen.idr
@@ -2170,7 +2170,8 @@ generateConstructor descriptorsByEncloser classExport fields annotations = do
   extendsTypeName <- getJvmReferenceTypeName classExport.extends
   let arity = the Int $ cast $ length fields
   jvmArgumentTypesByIndex <- LiftIo $ Map.fromList $ zip [0 .. arity] (classType :: fieldTypes)
-  CreateMethod [Public] "generated.idr" classExport.name "<init>" descriptor signature Nothing annotations []
+  let asmAnnotations = asmAnnotation <$> annotations
+  CreateMethod [Public] "generated.idr" classExport.name "<init>" descriptor signature Nothing asmAnnotations []
   MethodCodeStart
   CreateLabel methodStartLabel
   CreateLabel methodEndLabel