RSchulz

// Scala WTF #15189...

scala> trait A { }
defined trait A

trait B { }
defined trait B

val a1 = new A { }
a1: A = $anon$1@33c239aa

RSchulz

The Rho Computational Logic Toolkit

Overview

The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.

RSchulz

The Rho Computational Logic Toolkit

Overview

The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.

RSchulz

The Rho Computational Logic Toolkit

Summary

The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.

RSchulz

3624> git add -f project/build.properties project/build/src/ProjectRho.scala
3625> 
3625> git status
# On branch master
# Changed but not updated:
#   (use "git add/rm <file>..." to update what will be committed)
#   (use "git checkout -- <file>..." to discard changes in working directory)
#
#       deleted:    src/rrs/util/WeakIdentityHashMap.java
#

RSchulz

/*      ____   __
**     / __ \ / /_   ____
**    / /_/ // __ \ / __ \  © 2009 H&S Information Systems
**   / _, _// / / // /_/ /    ALL RIGHTS RESERVED
**  /_/ |_|/_/ /_/ \____/
*/

/*
    Limiter.scala

RSchulz

  implicit def intTimes(count: Int) =
    new {
      /** Iterate ``f`` ``count`` times, not passing the iteration index */
      def times(f: => Unit) =
        1 to count foreach { _ => f }

      /** Iterate ``f`` ``count`` times, passing the iteration index each time */
      def iTimes(f: Int => Unit) =
        1 to count foreach { i => f(i) }
    }

RSchulz

1747> sbt
[info] 
[info] Updating plugins...
[warn]  module not found: com.github.mpeltonen#sbt-idea-plugin_2.7.7;0.1-SNAPSHOT
[warn] ==== local: tried
[warn]   /Users/rschulz/.ivy2/local/com.github.mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/ivys/ivy.xml
[warn]   -- artifact com.github.mpeltonen#sbt-idea-plugin_2.7.7;0.1-SNAPSHOT!sbt-idea-plugin_2.7.7.jar:
[warn]   /Users/rschulz/.ivy2/local/com.github.mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/jars/sbt-idea-plugin_2.7.7.jar
[warn] ==== sbt-idea-repo: tried
[warn]   http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/sbt-idea-plugin_2.7.7-0.1-SNAPSHOT.pom

RSchulz

 Hit enter to retry or 'exit' to quit: 
[info] Recompiling plugin definition...
[info]    Source analysis: 1 new/modified, 0 indirectly invalidated, 0 removed.
[info] 
[info] Updating plugins...
[info] downloading http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-core_2.7.7/0.1-SNAPSHOT/sbt-idea-core_2.7.7-0.1-SNAPSHOT.jar ...
[info]  [SUCCESSFUL ] com.github.mpeltonen#sbt-idea-core_2.7.7;0.1-SNAPSHOT!sbt-idea-core_2.7.7.jar (508ms)
[info] downloading http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-plugin/0.1-SNAPSHOT/sbt-idea-plugin-0.1-SNAPSHOT.jar ...
[info]  [SUCCESSFUL ] com.github.mpeltonen#sbt-idea-plugin;0.1-SNAPSHOT!sbt-idea-plugin.jar (167ms)
[info] :: retrieving :: plugin-definition#plugin-definition_2.7.7 [sync]

RSchulz

import sbt._

class   Plugins(info: ProjectInfo)
extends PluginDefinition(info)
{
  val sbtIdeaRepo = "sbt-idea-repo" at "http://mpeltonen.github.com/maven/"
  val sbtIdea = "com.github.mpeltonen" % "sbt-idea-plugin" % "0.1-SNAPSHOT"
  val ideaCore = "com.github.mpeltonen" %% "sbt-idea-core" % "0.1-SNAPSHOT"
}