From dc0537b4a3c486d10cad6d0cf33547aef8bfbbbb Mon Sep 17 00:00:00 2001 From: Colin Schmidt Date: Mon, 6 Jun 2016 10:20:33 -0700 Subject: [PATCH] also catch CDEMatch errors fixes #3 --- src/main/scala/Parameters.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/scala/Parameters.scala b/src/main/scala/Parameters.scala index 87df7c4..f0d0462 100644 --- a/src/main/scala/Parameters.scala +++ b/src/main/scala/Parameters.scala @@ -152,6 +152,7 @@ abstract class World( try topDefs(pname, site, here) catch { case e:scala.MatchError => throw new ParameterUndefinedException(pname, e) + case e:CDEMatchError => throw new ParameterUndefinedException(pname, e) } ) match { case k:Knob[T @unchecked] => ExVar[T](_VarKnob[T](k.name))