[ fix ] CI

Author: GulinSS

idris2api.ipkg

@@ -196,6 +196,7 @@ modules =
     Libraries.Data.SnocList.HasLength,
     Libraries.Data.SnocList.LengthMatch,
     Libraries.Data.SnocList.SizeOf,
+    Libraries.Data.SnocList.Quantifiers.Extra,
     Libraries.Data.Span,
     Libraries.Data.SortedMap,
     Libraries.Data.SortedSet,

src/Compiler/CompileExpr.idr

@@ -14,14 +14,14 @@ import Core.Value
 
 import Data.List
 import Data.SnocList
-import Data.SnocList.HasLength
 import Data.SnocList.Quantifiers
 import Data.Maybe
 import Data.Vect
 
 import Libraries.Data.List.SizeOf
 import Libraries.Data.SnocList.SizeOf
 import Libraries.Data.SnocList.Extra
+import Libraries.Data.SnocList.HasLength
 
 %default covering