To scan and parse a file with path "filepath": 1. Run "ml-lex Lexer.lex" on the shell/terminal. 2. Run "ml-yacc Parser.yacc" on the shell/terminal. 3. Run sml and type 'use "loader.sml";' in the sml command line. 4. Run the command 'compile "filepath"' in the sml command line. 5. The output is printed on the console.
Extension of the Boolean parser to include Boolean expressions, integer expressions, conditional and declaration statements as well as functional abstraction and application. The project includes lexing, parsing, generation of abstract syntax, type checking and evaluation.
Jitender-Kumar-Yadav/Type-Checking-and-Evaluation
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Extension of the Boolean parser to include Boolean expressions, integer expressions, conditional and declaration statements as well as functional abstraction and application. The project includes lexing, parsing, generation of abstract syntax, type checking and evaluation.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published