aboutsummaryrefslogtreecommitdiffstats
path: root/src/constrain.cpp
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2010-08-18 21:41:20 +0000
committerDavid Robillard <d@drobilla.net>2010-08-18 21:41:20 +0000
commit1bc26254cf83449017b24afd90420916d8f512aa (patch)
tree3fd6c7efd169f046f45de2d5c95400125e3576ed /src/constrain.cpp
parent34de70a553c0863626f254ed89d689611b7f9c0a (diff)
downloadresp-1bc26254cf83449017b24afd90420916d8f512aa.tar.gz
resp-1bc26254cf83449017b24afd90420916d8f512aa.tar.bz2
resp-1bc26254cf83449017b24afd90420916d8f512aa.zip
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
Diffstat (limited to 'src/constrain.cpp')
-rw-r--r--src/constrain.cpp1
1 files changed, 1 insertions, 0 deletions
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