Browse files


  • Loading branch information...
1 parent b0cf0ec commit 0bdbf8ebd8ba338e0d733d5101975327bb9665b4 @jaked committed Apr 6, 2011
Showing with 2 additions and 2 deletions.
  1. +2 −2 _posts/2011-04-07-logic-programming-in-scala.markdown
4 _posts/2011-04-07-logic-programming-in-scala.markdown
@@ -295,7 +295,7 @@ these wrappers to spring into existence when we need them.
Now we can rewrite the solution in terms of the `Logic` trait:
{% highlight scala %}
-class Bridge1(Logic: Logic) {
+class Bridge(Logic: Logic) {
import Logic._
{% endhighlight %}
@@ -433,7 +433,7 @@ trait Logic[T[_]] { L =>
{% endhighlight %}
Neither alternative provides the expressivity of OCaml modules: with
abstract types, consumers of `Logic` cannot return values of `T[A]`
-(we will see this below); with a type parameter, they can, but the
+(as we saw above); with a type parameter, they can, but the
type is no longer abstract.
In OCaml we would write

0 comments on commit 0bdbf8e

Please sign in to comment.