Update hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala

Co-authored-by: Lionel Parreaux <lionel.parreaux@gmail.com>
hkust-taco · Jan 9, 2025 · f2112de · f2112de
1 parent 9da85eb
commit f2112de
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala b/hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala
@@ -392,10 +392,7 @@ class Lowering(using TL, Raise, Elaborator.State):
         case (acc, term) => acc match
           case N => term.toLoc
           case S(loc) => S(loc ++ term.toLoc)) ::
-      msg"Annotations are not supported on this ${target match
-            case _: LetDecl => "let declaration"
-            case td: TermDefinition => td.k.desc
-            case cls: ClassLikeDef => cls.kind.desc }." -> target.toLoc :: Nil))
+      Nil))
 
 
 trait LoweringSelSanityChecks