Merge pull request #1490 from edwinb/master

Make sure Borrowed constructors aren't updated
Don't propagate unique names to 'where'

Doing so breaks typechecking, leading to nothing working any more...
passing them to lifted 'where' definitions counts as a use in the
typechecker, so *any* where clause will fail to typecheck.

This is an effect of how 'where' clauses are elaborated, and is probably
not the best behaviour (though it is better than the default which rules
our where clauses completely) so we should revisit it later if
uniqueness typing turns out to work effectively.
Don't pass used unique variables to metavars

We can't use them anyway, and the resulting application won't typecheck
if we're not careful to remove them.
Merge pull request #1492 from edwinb/unique

Uniqueness fixes
Add missing pattern in TT.hs

Idris tripped over an incomplete pattern match in nextName' while typechecking
https://github.com/defanor/parcomb/blob/1cd15bf9c7e4a06c30ee5a804ea5d4d4993bbbab/VISD.idr

I traced and added the missing pattern match. The file typechecks and tests pass
but I have not tried to understand what is actually going on in TT.hs.
Merge pull request #1493 from mixis/fix/master/nextNamme-pattern

Add missing pattern in TT.hs
No need to check in types for uniqueness
No need to check LHS for unique usage

Any duplication will be enforced by unification, and won't lead to
sharing itself (does suggest the function will be hard to apply in
interesting contexts though...)
Enable :unlet for ideslave
Merge branch 'unique'
Merge branch 'master' of github.com:idris-lang/Idris-dev
Use believe_me for DecEq on primitives

This way, they can compute at the REPL, which is far more useful
behaviour when testing (it is about the only legitimate use for
believe_me in my opinion too :)).
Merge pull request #1495 from edwinb/unique

Uniqueness changes
Merge pull request #1496 from edwinb/postulate-deceq

Postulate deceq
Update version number for CUFP release
Error when using empty namespace for disambiguation at REPL

Fixes #1497.
Merge pull request #1499 from Melvar/ideslave-unlet

Enable :unlet for ideslave
Merge pull request #1498 from david-christiansen/issue/1497

Error when using empty namespace for disambiguation at REPL
Uniquify binder names when leaving executor

This mimics the evaluator more closely and prevents shadowing bugs.
Merge pull request #1501 from david-christiansen/uniquify-executor

Uniquify binder names when leaving executor