Skip to content

Commit c36c748

Browse files
committed
Use ImpureApp instead of App for externs
1 parent b28ada1 commit c36c748

File tree

1 file changed

+1
-3
lines changed
  • effekt/shared/src/main/scala/effekt/core

1 file changed

+1
-3
lines changed

effekt/shared/src/main/scala/effekt/core/Show.scala

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -131,10 +131,8 @@ object Show extends Phase[CoreTransformed, CoreTransformed] {
131131
def generateBlockLit(stmt: Stmt) = BlockLit(List.empty, List.empty, List(vparam), List.empty, stmt)
132132
def generateValAppRet(valueType: ValueType): Stmt =
133133
val blockVar = findExternShowDef(valueType)
134-
val call = Stmt.App(blockVar, List.empty, List(paramValueVar), List.empty)
135134
val retId = Id("ret")
136-
val callVal = Stmt.Val(retId, TString, call, Stmt.Return(Expr.ValueVar(retId, TString)))
137-
callVal
135+
Stmt.ImpureApp(retId, blockVar, List.empty, List(paramValueVar), List.empty, Stmt.Return(Expr.ValueVar(retId, TString)))
138136
def generateDef(stmt: Stmt): Toplevel.Def =
139137
ctx.showDefns += (vt -> showId)
140138
val block = generateBlockLit(stmt)

0 commit comments

Comments
 (0)