Give an error message when referring to an abstract type where it sho…

…uld be concrete.
viperproject · Sep 4, 2013 · fa4b3a2 · fa4b3a2
1 parent bd63649
commit fa4b3a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/semper/sil/ast/Program.scala b/src/main/scala/semper/sil/ast/Program.scala
@@ -20,7 +20,7 @@ case class Program(domains: Seq[Domain], fields: Seq[Field], functions: Seq[Func
 
 /** A field declaration. */
 case class Field(name: String, typ: Type)(val pos: Position = NoPosition, val info: Info = NoInfo) extends Location with Typed {
-  require(typ.isConcrete)
+  require(typ.isConcrete, "Type of field " + name + ":" + typ + " must be concrete!")
 }
 
 /** A predicate declaration. */