Fix bug with closed determination in unification algo

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13636 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix value numbering bug where we don't recurse on branches

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13637 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix typechecking logic around typevars to support additional cases include where typevars are not constrained or are constrained byoutputs.

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13639 dc4e9af1-7f46-4ead-bba6-71afc04862de
Workaround for canonicalisation bug

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13640 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix error where we didn't canonicalise correctly

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13641 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix function arg type checking logic

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13642 dc4e9af1-7f46-4ead-bba6-71afc04862de
Modify test so that it doesn't expect warning that isn't really necessary

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13643 dc4e9af1-7f46-4ead-bba6-71afc04862de
Add check that variales aren't referenced in scope they're not available

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13644 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix invalid blob passing originating from value number pass

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13645 dc4e9af1-7f46-4ead-bba6-71afc04862de
Accurate info for async continuations

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13646 dc4e9af1-7f46-4ead-bba6-71afc04862de
More rigorous check for whether variable is accessible

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13647 dc4e9af1-7f46-4ead-bba6-71afc04862de
Make foreign functions non-static

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13648 dc4e9af1-7f46-4ead-bba6-71afc04862de
Make sure variables get passed through async continuation

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13649 dc4e9af1-7f46-4ead-bba6-71afc04862de
Fix stale cleanup var

git-svn-id: https://svn.mcs.anl.gov/repos/exm/sfw/stc/trunk@13650 dc4e9af1-7f46-4ead-bba6-71afc04862de