1. camlspotter
  2. compiler-libs-hack

Commits

camlspotter  committed dc2094f

typo

  • Participants
  • Parent commits 2e13530
  • Branches default

Comments (0)

Files changed (1)

File README.rst

View file
  • Ignore whitespace
 
 SML style overloading is very simple way to overload things. Much simpler than Haskell type classes, so you cannot derive overloading from overloaded values. You can get the idea from my past article `http://camlspotter.blogspot.sg/2011/09/small-patch-for-bizarre-but-user.html`. Let's try to overload ``(+)`` here too.
 
-The design of the mod of this time is as follows. We need a seed of overloaded values, with a polymorphic type, but without any actual definition. Fortunately, we have a way for this in OCaml: primitive declaration::
+The design of the mod of this time is as follows. We need a seed of an overloaded value, with a polymorphic type, but without any actual definition. Fortunately, we have a way for this in OCaml: primitive declaration::
 
     module Loaded = struct
       external (+) : 'a -> 'a -> 'a = "OVERLOADDED"