SteveGilham/gist:c4fea458c99c5be1422c

## 23 changes: 23 additions & 0 deletions gistfile1.fs
@@ -0,0 +1,23 @@

    [<AbstractClass>]
[<AbstractClass>]

    type AbstractPoint
type AbstractPoint

         = class
     = class

               val mutable vx: int;
           val mutable vx: int;

               val mutable vy: int;
           val mutable vy: int;

               new(x,y) = { vx = x; vy = y }
           new(x,y) = { vx = x; vy = y }

               member p.x with get() = p.vx and set z = p.vx <- z
           member p.x with get() = p.vx and set z = p.vx <- z

               member p.y with get() = p.vy and set z = p.vy <- z
           member p.y with get() = p.vy and set z = p.vy <- z

               abstract move: AbstractPoint -> unit
           abstract move: AbstractPoint -> unit

           end
       end

    type Point'
type Point'

         = class
     = class

               inherit AbstractPoint
           inherit AbstractPoint

               new(x,y) = { inherit AbstractPoint(x,y) }
           new(x,y) = { inherit AbstractPoint(x,y) }

               override p.move q = p.x <- p.x + q.x;
           override p.move q = p.x <- p.x + q.x;

                                   p.y <- p.y + q.y
                               p.y <- p.y + q.y

           end
       end


    let p = Point'(2,3)
let p = Point'(2,3)

    let q = Point'(1,2)
let q = Point'(1,2)

    p.move(q)
p.move(q)

    p.x
p.x

    p.y;;
p.y;;