gabryon99 / mucomp-lang

μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.

μcomp-lang

μcomp-lang is a didactic language implemented for Language, Compilers and Iterpreters course at UniPi.

Report

Read the report mucomp-report.pdf inside asset folder if you are interested to how mucomp-lang is implemented

Example

The snippet below shows a simple program written in μcomp.

component EntryPoint provides App {

    def fib(n: int): int {
        if (n == 0) {
            return 0;
        }

        if (n == 1) {
            return 1;
        }

        return fib(n - 1) + fib(n - 2);
    }

    def main() : int {
        print(fib(10)); // prints 10
        return 0;
    }
}

Trivia

The mascotte's name is "Comu" = "🐄" + "μ" (like: "muuuh") (I know, it's a bad pun).

mucomp-lang's Issues

Move integer overflow check in Semantic Analysis component

Since the programming language supports only 32 bit, a check for integer expression must be done in the Semantic Analysis component.

Check if functions have return statement

Each function must have a return statement in their body. If the statement is missing, then throw a semantic error.

Failing tests

The repository doesn't have a CI/CD pipeline, so this issue will contain all the files that
don't surpass the test phases.

The points in bold are important files.

Parser

• fail-func12.mc (due to the ending comment) (see: 1923f97)

Semantic Analysis

• fail-expr3.mc (see: 06967f5)
• fail-func12.mc (see: 06967f5)
• fail-int1.mc (see: d02f47a)
• fail-int2.mc (see: d02f47a)
• fail-link3.mc
• fail-link7.mc (see: 64ae04d)
• fail-sort1.mc (see: a45afb7)
• fail-uses6.mc (see: 6ca3d28)
• fail-uses7.mc (see: 6ca3d28)
• fail-uses8.mc (see: 6ca3d28)