tyroxx / lpg Goto Github PK

Make it so that you can also print non string values

https://llvm.org/docs/LibFuzzer.html

We could just disallow potentially ambiguous code. This would not compile:

let a = b + c * d

This woud compile:

let a = b + (c * d)

let f = (a: int(0, 3), b: int(0, 2))
    a
f(1, 2)

b is not being used, so this program can be reduced to:

let f = (a: int(0, 3))
    a
f(1)

We need a way to pass functions around, for example like this:

let run-twice = (f: function<unit>)
    f()
    f()
run-twice(() print("!"))

Output:

!!

Add match statements to the functionality of LPG and the documentation

A function should be able to call itself if it is defined like this:

let f = ()
    f()

TODO: Implement bitshift and bitwise operations.

no sharing of mutable data, just fork/join

and for other two-state enums

• stack size / depth
• heap size
• number of instructions executed

Add documentation on how to build the project under Windows.

Constant folding currently happens during initial type checking of the AST, but we are missing an optimization pass that can be run after other optimization passes.

The type of a string literal should know its length, for example like this:

let a : string-ref<int<3, 3>> = "abc"

Currently reallocate array reallocates the array every time maybe a more memory efficient thing would be good.