Skip to content

Commit

Permalink
sort externals in Infer
Browse files Browse the repository at this point in the history
  • Loading branch information
johnynek committed Mar 28, 2024
1 parent 20ce57e commit 01f3832
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
Expand Up @@ -2663,7 +2663,9 @@ object Infer {

val checkExternals =
GetEnv.flatMap { env =>
externals.toList
externals
.toList
.sortBy { case (_, (_, region)) => region }
.parTraverse_ { case (_, (t, region)) =>
env.getKind(t, region) match {
case Right(Kind.Type) => unit
Expand Down

0 comments on commit 01f3832

Please sign in to comment.