Add comment to document workaround for agda/agda2hs#324

jespercockx · Jul 27, 2024 · a8667b5 · a8667b5
1 parent 7e936ad
commit a8667b5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Agda/Core/Converter.agda b/src/Agda/Core/Converter.agda
@@ -23,6 +23,7 @@ module Agda.Core.Converter
     {{@0 sig     : Signature}}
   where
 
+-- Workaround for https://github.com/agda/agda2hs/issues/324
 {-# FOREIGN AGDA2HS import Agda.Core.TCMInstances #-}
 
 private open module @0 G = Globals globals