Looking for an Ocaml expert

The project involves writing code for a "semantic analyzer" that will use a abstract syntax tree and class heirarchy to take in single command line arguments and check whether there is an error in the input provided in .cl files. Errors will include scenarios such as:

related to parameter-less method main in class Main: always line 0

Inheritance cycle: always line 0

Redefining a feature: (second) feature location

Redefining a method and changing types: (second) type location

Method body type does not conform: method name identifier location

Errors with case expression (e.g., lub): location of case expression

Unknown identifier: location of identifier

The program will report whether there is an error or not and output error or if it passes it will create a There is much more to cover but it is a small project and only involves certain files to be edited as the project is already started. For any questions please contact me, Budget is: 250 and timeframe can be discussed during message

Skills: Coding, Programming, Software Development

See more: generation code semantic net, writing privacy policy terms use, looking writers article writing, looking quickbooks expert, code iphone applications use, money writing code java php, looking nagios expert, flash code ready game use, looking seo expert, canadian looking money freelance writing, mysql injection code php analyzer, looking phpld expert, macro expert registration code, looking joomla expert, expert hi5 code, looking oscommerce expert, metatrader expert advisor code, we are looking typing expert freelancer for my project we have millions of images to type in ms word files separated use font cl, abstract syntax tree java source code, expert writing promo code

About the Employer:
( 0 reviews ) Allentown, United States

Project ID: #29855704