Tuples and type improvement

[mohitk05]

Tuples & Complex Types

Tuples can be defined using type <name> = { ... }, similar to structs. In Gom, there is no explicit struct keyword but the syntax differentiates them from tuples. When defined with keys and values, it's a struct. When only with type fields, it's a tuple. Tuple literals can be defined inline to create a tuple immediately.

type HttpResponse = { int, bool };

fn process_http(url: str): HttpResponse {
  if(url == "http://www.example.com") {
    return { 200, true };
  }
  
  return { 401, false };
}

Codegen for structs and tuples using sret

LLVM IR for struct and tuple code uses sret instruction.
https://llvm.org/docs/LangRef.html#id1969