From 1bc26254cf83449017b24afd90420916d8f512aa Mon Sep 17 00:00:00 2001 From: David Robillard Date: Wed, 18 Aug 2010 21:41:20 +0000 Subject: Give `def' statements type `Nothing. Causes REPL to succeed silently instead of printing an error. git-svn-id: http://svn.drobilla.net/resp/resp@260 ad02d1e2-f140-0410-9f75-f8b11f17cedd --- src/constrain.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/constrain.cpp') diff --git a/src/constrain.cpp b/src/constrain.cpp index d0490bf..94a27c3 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -146,6 +146,7 @@ ADef::constrain(TEnv& tenv, Constraints& c) const throw(Error) tenv.def(sym, tvar); body()->constrain(tenv, c); c.constrain(tenv, sym, tvar); + c.constrain(tenv, this, tenv.named("Nothing")); } void -- cgit v1.2.1