Received: by 10.220.117.68 with SMTP id p4mr1046704vcq.27.1302394108636;
        Sat, 09 Apr 2011 17:08:28 -0700 (PDT)
X-BeenThere: byu-cs-330-winter-2011@googlegroups.com
Received: by 10.220.100.195 with SMTP id z3ls1512661vcn.2.p; Sat, 09 Apr 2011
 17:08:28 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.220.87.223 with SMTP id x31mr463353vcl.22.1302394108061; Sat,
 09 Apr 2011 17:08:28 -0700 (PDT)
Received: by u12g2000vbf.googlegroups.com with HTTP; Sat, 9 Apr 2011 17:08:28
 -0700 (PDT)
Date: Sat, 9 Apr 2011 17:08:28 -0700 (PDT)
X-IP: 128.187.0.182
User-Agent: G2/1.0
X-HTTP-Via: 1.1 hfltr1.byu.edu:80 (IronPort-WSA/7.1.0-297)
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US) AppleWebKit/534.13
 (KHTML, like Gecko) Chrome/9.0.597.98 Safari/534.13,gzip(gfe)
Message-ID: <e5941852-0683-41cf-bc54-236091db2d43@u12g2000vbf.googlegroups.com>
Subject: Generating a list of constraints
From: Derrick Brinton <derrickbrin...@gmail.com>
To: byu-cs-330-Winter-2011 <byu-cs-330-winter-2011@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1

My partner and I are having a hard time generating a list of
constraints on paper. For the written assignment, it seems like there
are a number of different ways you could look at the constraints to
generate them and some ways work out with unification, but others
don't. One thing that was really confusing us is when you have to list
a constraint as a function versus just the result of a function. For
example:

Is (+ 1 2) listed as number X number -> number? Or can we just say
it's a number?

We think we probably figured out the written part, but there was
enough confusion that coding the generate constraints function seems
daunting. Is there a list of rules for how to generate constraints