weird-indexing.jl

#= I have the following sauce code: =#
module TruthTable
import Base.size, Base.getindex, Base.linearindexing 
export Table, random

immutable Table
  p :: Int
  unpack :: BitVector
end

function random(frac :: Int, props :: Int) :: Table
  frac ∈ 1:1:7 || error("frac should be in [1,7]")
  props ≥ 3 || error("Must have at least 3 propositions")
  len = 2 ^ props
  to_set = (frac * len) ÷ 8
  raw = falses(len)
  while to_set > 0
    i = rand(1:len)
    if !getindex(raw, i)
      raw[i] = true
      to_set = to_set - 1
      end
    end
  return Table(props, raw)
end

size(t :: Table) = (length(t.unpack), t.p + 1)

function getindex(t :: Table, r :: Int)
  if 1 ≤ r ≤ length(t.unpack)
    return t.unpack[r]
    end
  error("Row out of bounds: $r")
end

function getindex(t :: Table, r :: Int, c :: Int)
  if c == (t.p + 1)
    return t.unpack[r]
    elseif 1 ≤ c ≤ t.p
    return isodd((r - 1) >> (t.p - c))
    end
  error("Indices out of bounds: $r, $c")
end

linearindexing(::Type{Table}) = LinearSlow()

end

#= However, when I try to do something like `TruthTable.random(2,3)[1,2]`, I get a BoundsError. 
What did I not define correctly here? =#