Changed syntax.

leepike · Dec 22, 2011 · a9c4c54 · a9c4c54
1 parent e81c08e
commit a9c4c54
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/src/Copilot/Core/Expr.hs b/src/Copilot/Core/Expr.hs
@@ -98,6 +98,6 @@ data Expr a where
 --------------------------------------------------------------------------------
 
 -- | A untyped expression (no phantom type).
-data UExpr = forall a . UExpr
+data UExpr = forall a. UExpr
   { uExprType :: Type a
   , uExprExpr :: Expr a }
diff --git a/src/Copilot/Core/Interpret/Eval.hs b/src/Copilot/Core/Interpret/Eval.hs
@@ -46,6 +46,8 @@ instance Show InterpException where
     badUsage $ "you need to supply a list of values for interpreting external element " 
       ++ name
   ---------------------------------------
+
+  -- Should be caught by Analyze.hs in copilot-language.
   show (BadType name)                                                  =
     badUsage $ "you probably gave the wrong type for external element " 
       ++ name ++ ".  Recheck your types and re-evaluate"