X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftypes%2FTFun.java;h=620ef18307421a9bcfeced6410a6ff3045dd4ff9;hb=e515d1fda563f0fa3b8b71f9099696cf49a06d25;hp=6fc9b42b22bb165481e7cb0da6f8c1e0122c3ce2;hpb=ca40974f87c9db00eb77aaf1acc1e9937b37261b;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/TFun.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/TFun.java index 6fc9b42b2..620ef1830 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/TFun.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/TFun.java @@ -57,7 +57,7 @@ public class TFun extends Type { public TypeAst toTypeAst(TypeUnparsingContext context) { TypeAst domainAst = domain.toTypeAst(context); TypeAst rangeAst = range.toTypeAst(context); - if(Types.canonical(effect) != Types.NO_EFFECTS) + if(Types.canonical(effect) != Types.NO_EFFECTS && !context.showSkeletons) rangeAst = new TEffectAst(effect.toTypeAst(context), rangeAst); Type dom = Types.canonical(domain); if(dom instanceof TPred)