Skip to content

Commit

Permalink
not prepare
Browse files Browse the repository at this point in the history
  • Loading branch information
radeusgd committed Mar 8, 2024
1 parent 780442b commit 2bd1fc2
Showing 1 changed file with 3 additions and 7 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -763,15 +763,11 @@ object BindingsMap {
) extends DefinedEntity {
override def canExport: Boolean = true

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

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
}.map { typeIr => Type.fromIr(typeIr, builtinType) }
val _ = concreteModule
Some(this)
}
}

Expand Down

0 comments on commit 2bd1fc2

Please sign in to comment.