From 203219873abd609b623319c523761ddb97514c57 Mon Sep 17 00:00:00 2001 From: nmacedo Date: Thu, 10 Nov 2016 13:56:14 +0000 Subject: [PATCH] fixed bug on type checking of primed expressions --- .../java/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary.java b/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary.java index 7844734a..8bbd059a 100644 --- a/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary.java +++ b/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary.java @@ -253,10 +253,10 @@ public final String toHTML() { ErrorWarning w1=null, w2=null; Type s=p; switch(op) { - case NOT: case AFTER: case ALWAYS: case EVENTUALLY: case PREVIOUS: case HISTORICALLY: case ONCE: // [HASLab] + case NOT: case AFTER: case ALWAYS: case EVENTUALLY: case PREVIOUS: case HISTORICALLY: case ONCE: s=Type.FORMULA; break; - case TRANSPOSE: case RCLOSURE: case CLOSURE: case PRIME: // [HASLab] + case TRANSPOSE: case RCLOSURE: case CLOSURE: if (warns!=null && op!=Op.TRANSPOSE && type.join(type).hasNoTuple()) w1=new ErrorWarning(pos, this+" is redundant since its domain and range are disjoint: "+sub.type.extract(2)); s = (op!=Op.TRANSPOSE) ? resolveClosure(p, sub.type) : sub.type.transpose().intersect(p).transpose() ;