Do you have specific questions, or something you are stuck on? Maybe you accidentally sent the message before you finished writing it? People on this list aren't going to do your homework for you. If you have no idea how to even start, you should go talk to the course instructor or teaching assistant. +Brent On Thu, Feb 20, 2020, 2:28 PM Eirik Ravnskog <eirik.ravnskog92@gmail.com> wrote:
Hi. I have a homework-assignment where one of the tasks is to make a static Analyzer for BIPL-E, BIPL-E being the BIPL Language with input- and output-parameters.
The Analyzer is supposed to
1. check that all variables has been defined before use. If not, give an error message.
You can do this by traversing each statement in the program to check if it uses values that
haven’t been defined before. You can keep track of which variables that has been defined so far in a list, and put new ones to the list when you encounter Assign-statements
1. check that all output parameters have been given a value when the program has ended 2. You don’t care about what the different statements really evaluates to .
As a start:
static_analyzer :: BIPLE -> ..
..
Best regards,
Eirik
Sendt fra E-post <https://go.microsoft.com/fwlink/?LinkId=550986> for Windows 10
_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.