Productivity check fix
Guardedness check didn't actually check it was under a constructor!
Coinductive types do not get smaller! Fix size change graph builder.
Look through call graph for mutual recursion when productivity checking
Otherwise we might miss non-productive calls, particularly important
when using 'with'.
Fixes issue #183
initial ideslave
minor cleanups
use process in ideslave loop
catch errors during receive and report them
make this a bit more useful, and use same protocol as emacs side :)
output should be (output result)
completions for REPL
rename abort -> error, emacs-rex -> idris
load-file support
Fix marshalling of String/Symbol (broke completion)
put ideslave_counter into IState
use iputStrLn here as well
implement outputmode in IState, which either prints it raw or sexpressions (for ideslave support)
fix parsing of escaped quotes inside of strings
don't use a field in IOption and a field in IState, only one of them
send prompt over the wire - also minor refactoring