00001 #ifndef UNIFY_HXX 00002 #define UNIFY_HXX 00003 00004 /************************************************************************** 00005 * 00006 * Copyright (C) 2008, Johns Hopkins University. 00007 * All rights reserved. 00008 * 00009 * Redistribution and use in source and binary forms, with or 00010 * without modification, are permitted provided that the following 00011 * conditions are met: 00012 * 00013 * - Redistributions of source code must contain the above 00014 * copyright notice, this list of conditions, and the following 00015 * disclaimer. 00016 * 00017 * - Redistributions in binary form must reproduce the above 00018 * copyright notice, this list of conditions, and the following 00019 * disclaimer in the documentation and/or other materials 00020 * provided with the distribution. 00021 * 00022 * - Neither the names of the copyright holders nor the names of any 00023 * of any contributors may be used to endorse or promote products 00024 * derived from this software without specific prior written 00025 * permission. 00026 * 00027 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 00028 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 00029 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 00030 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 00031 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 00032 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 00033 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00034 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00035 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00036 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 00037 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00038 * 00039 **************************************************************************/ 00040 00041 #include <assert.h> 00042 #include <stdlib.h> 00043 #include <dirent.h> 00044 #include <fstream> 00045 #include <iostream> 00046 #include <sstream> 00047 #include <string> 00048 00049 #include "shared_ptr.hxx" 00050 00051 #include "AST.hxx" 00052 #include "Environment.hxx" 00053 #include "Type.hxx" 00054 #include "TypeScheme.hxx" 00055 #include "backend.hxx" 00056 00057 bool unify(std::ostream& errStream, 00058 boost::shared_ptr<Trail> trail, 00059 const sherpa::LexLoc &errLoc, 00060 boost::shared_ptr<Type> ft, boost::shared_ptr<Type> st, 00061 UnifyFlags uflags); 00062 00063 bool unifyPrim(std::ostream& errStream, 00064 boost::shared_ptr<Trail> trail, const sherpa::LexLoc &errLoc, 00065 boost::shared_ptr<Type> tau, std::string ptype); 00066 00067 #endif /* UNIFY_HXX */
1.4.7