functadelic's Introduction

functadelic

This repo is a hub for projects related to multi-staged programming in Scala. It uses Lightweight Modular Staging. The main project is on staged parser combinators. Please find documentation for this project here.

To run the code, please follow these steps:

Clone this here repo in a separate folder: git clone [email protected]:manojo/functadelic.git.
Profit:

  $ cd functadelic
  $ sbt
  > test

Hope you have fun!

LMS Coding conventions

Here are some basic LMS conventions I use when writing LMS code:

Each new Ops gets its own file
An Exp trait only mixes other Exp traits that are not Opt trait
Opt traits are mixed in at a later stage. If you are often going to use one, create an Opt trait for your Ops which mixes the relevant Opt traits. Fat optimizations should not be mixed in with the classical Opt traits, but used independently.
If I use a certain feature (ex Option) in my current trait, I mix it in explicitly, even if some other trait I'm using has it already. Serves for documentation purposes. Of course, for really trivial stuff it's not necessary to do so.

functadelic's People

Contributors

Stargazers

Watchers

functadelic's Issues

Broken Build - Missing Dependency

When I try to build the project with a fresh clone, the compiler reports errors that ZeroVal cannot be found:

[error] .../functadelic/src/main/scala/stagedparsec/ParseResultCPS.scala:25: not found: type ZeroVal
[error]     with ZeroVal { self: ReaderOps =>

This can be fixed by importing (copy & pasting) https://github.com/namin/lms-verify/blob/master/src/main/scala/lms/verify/ZeroVal.scala into the project. Appearently this file is part of your lms-utils project. It is a bit confusing that the dependency is not resolved, since lms-utils is mentioned as dependency in [build.sbt](https://github.com/manojo/functadelic/blob/master/build.sbt).

Broken Build - Bad Symbolic Reference

Trying to build the project after fixing #2 still results in the following errors:

[error] bad symbolic reference to scala.lms.common.Base.Nul encountered in class file 'OptionOps.class'.
[error] Cannot access type Nul in trait scala.lms.common.Base. The current classpath may be
[error] missing a definition for scala.lms.common.Base.Nul, or OptionOps.class may have been compiled against a version that's
[error] incompatible with the one found on the current classpath.
[error] bad symbolic reference to scala.lms.internal.Expressions.Nul encountered in class file 'OptionOpsExp.class'.
[error] Cannot access type Nul in trait scala.lms.internal.Expressions. The current classpath may be
[error] missing a definition for scala.lms.internal.Expressions.Nul, or OptionOpsExp.class may have been compiled against a version that's
[error] incompatible with the one found on the current classpath.
[error] /Users/jonathan/AeroFS/work/github/functadelic/src/main/scala/stagedparsec/StagedParsers.scala:175: diverging implicit expansion for type StagedParsersExp.this.Typ[StagedParsersExp.this.Input => StagedParsersExp.this.ParseResult[T]]
[error] starting with value evidence$12
[error]         val funSym = fresh[Input => ParseResult[T]]

Am I maybe using the wrong version of LMS? build.sbt says "org.scala-lang.lms" %% "lms-core" % "1.0.0-SNAPSHOT".

Recommend Projects