Chalice: Temporarily mark refinment extension as unsupported.

1 files changed, 9 insertions, 0 deletions

diff --git a/Chalice/src/main/scala/Resolver.scala b/Chalice/src/main/scala/Resolver.scala
index 4f812038..7f5b3ecf 100644
--- a/Chalice/src/main/scala/Resolver.scala
+++ b/Chalice/src/main/scala/Resolver.scala
@@ -54,6 +54,15 @@ object Resolver {
  }

 

  def Resolve(prog: List[TopLevelDecl]): ResolverOutcome = {

+ 

+   // check for deprecates and/or unsupported constructs

+   var refinements = false

+   prog map (_ match {

+     case c: Class => if (c.IsRefinement) refinements = true

+     case _ => }

+   )

+   if (refinements) throw new NotSupportedException("stepwise refinements are currently not supported")

+ 

    // register the channels as well as the classes and their members

    var decls = Map[String,TopLevelDecl]()

    for (decl <- BoolClass :: IntClass :: RootClass :: NullClass :: StringClass :: MuClass :: prog) {