terra_method_missing.t

struct st {}

local iseven = terralib.overloadedfunction("iseven")
local isodd = terralib.overloadedfunction("isodd")
terra iseven_int :: {st, int} -> bool
terra isodd_int :: {st, int} -> bool
iseven:adddefinition(iseven_int)
isodd:adddefinition(isodd_int)

terra iseven_int(self : st, x : int)
  if x == 0 then
    return true
  else
    return not isodd(self, x - 1)
  end
end

terra isodd_int(self : st, x : int)
  if x == 0 then
    return true
  else
    return not iseven(self, x - 1)
  end
end

st.metamethods.__methodmissing = macro(function(method_name, obj, ...)
  local args = terralib.newlist({...})
  if method_name == "iseven" then
    return `iseven(obj, args)
  elseif method_name == "isodd" then
    return `isodd(obj, args)
  end
end)

terra main()
  var x = st {}
  x:iseven(1)
end
main:printpretty(true)

terra_multi_function.t

local iseven = terralib.overloadedfunction("iseven")
local isodd = terralib.overloadedfunction("isodd")
iseven:adddefinition(
  terra(x : int)
    if x == 0 then
      return true
    else
      return not isodd(x - 1)
    end
  end)
isodd:adddefinition(
  terra(x : int)
    if x == 0 then
      return true
    else
      return not iseven(x - 1)
    end
  end)

terra_multi_function_prototype.t

local iseven = terralib.overloadedfunction("iseven")
local isodd = terralib.overloadedfunction("isodd")
terra iseven_int :: int -> bool
terra isodd_int :: int -> bool
iseven:adddefinition(iseven_int)
isodd:adddefinition(isodd_int)

terra iseven_int(x : int)
  if x == 0 then
    return true
  else
    return not isodd(x - 1)
  end
end

terra isodd_int(x : int)
  if x == 0 then
    return true
  else
    return not iseven(x - 1)
  end
end

terra_single_function.t

terra iseven(x : int)
  if x == 0 then
    return true
  else
    return not isodd(x - 1)
  end
end
terra isodd(x : int)
  if x == 0 then
    return false
  else
    return not iseven(x - 1)
  end
end

terra main()
  iseven(5)
end
main:compile()

terra_single_function_explicit_return.t

terra iseven(x : int) : bool
  if x == 0 then
    return true
  else
    return not isodd(x - 1)
  end
end
terra isodd(x : int) : bool
  if x == 0 then
    return false
  else
    return not iseven(x - 1)
  end
end

terra main()
  iseven(5)
end
main:compile()

terra_single_method.t

struct st {}
terra st:iseven(x : int)
  if x == 0 then
    return true
  else
    return not self:isodd(x - 1)
  end
end
terra st:isodd(x : int)
  if x == 0 then
    return false
  else
    return not self:iseven(x - 1)
  end
end

terra main()
  var x = st {}
  x:iseven(5)
end
main:compile()

terra_single_method_explicit_return.t

struct st {}
terra st:iseven(x : int) : bool
  if x == 0 then
    return true
  else
    return not self:isodd(x - 1)
  end
end
terra st:isodd(x : int) : bool
  if x == 0 then
    return false
  else
    return not self:iseven(x - 1)
  end
end

terra main()
  var x = st {}
  x:iseven(5)
end
main:compile()

terra_single_method_prototype.t

struct st {}
terra st:iseven :: int -> bool
-- terra st:isodd :: int -> bool
-- terra st:iseven(x : int)
--   if x == 0 then
--     return true
--   else
--     return not self:isodd(x - 1)
--   end
-- end
-- terra st:isodd(x : int)
--   if x == 0 then
--     return false
--   else
--     return not self:iseven(x - 1)
--   end
-- end

-- terra main()
--   var x = st {}
--   x:iseven(5)
-- end
-- main:compile()