bollu / lambdapure

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Github for bachelor thesis

A single-static-assignment intermediate representation for a pure functional language

Build / Commands

build

export BUILD_DIR=/mnt/c/Users/path-to-llvm
  
cmake  .. -DMLIR_DIR=$BUILD_DIR/lib/cmake/mlir \
-DLLVM_EXTERNAL_LIT=$BUILD_DIR/bin/llvm-lit \

cmake --build .

to view tblgen (from build)

$BUILD_DIR/bin/mlir-tblgen -gen-op-defs ../include/lambdapure/Ops.td -I $BUILD_DIR/../mlir/include/

lambdapure generation

set_option trace.compiler.lambda_pure true

set_option trace.compiler.ir.init true

About


Languages

Language:C++ 91.2%Language:Lean 5.5%Language:CMake 1.3%Language:MLIR 1.1%Language:Shell 0.9%