Skip to content

Commit

Permalink
comments
Browse files Browse the repository at this point in the history
  • Loading branch information
radeusgd committed Mar 8, 2024
1 parent bf71f5d commit 1d2758b
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -763,9 +763,10 @@ object BindingsMap {
override def canExport: Boolean = true

def toAbstract: Type =
this.copy(members = Seq())
this.copy(members = null)

def toConcrete(concreteModule: ModuleReference.Concrete): Option[Type] = {
// TODO this seems to not work because ir is null at this stage :(
val ir = concreteModule.unsafeAsModule().getIr
ir.bindings.collectFirst {
case typeIr: Definition.Type if typeIr.name.name == name => typeIr
Expand Down

0 comments on commit 1d2758b

Please sign in to comment.