Example #1
0
File: lx.py Project: kr/sodium
def meth_base_name(meth):
    if is_inline_meth(meth): return inline_meth_base_name(meth)
    if is_asm_meth(meth): return asm_meth_base_name(meth)
    if not pairp(meth):
        raise CompileError(meth, 'method must be a list')
    if not pairp(meth.car()):
        raise CompileError(meth.car(), 'method signature must be a list')
    return meth.caar()
Example #2
0
File: lx.py Project: kr/sodium
def expand_seq_macros(seq):
  if seq.nullp(): return seq
  if not pairp(seq.car()): return seq
  if seq.car().nullp(): return seq
  tag = str(seq.caar())
  if tag not in seq_macros: return seq
  return seq_macros[tag](seq)
Example #3
0
File: lx.py Project: kr/sodium
 def annotate_or_report(self, exp):
     self.context = (exp,) + getattr(self, 'context', ())
     if self.context[0:1] == self.context[1:2]:
       self.context = self.context[1:]
     while exp not in reader.current_pos_info:
       if not pairp(exp): raise self
       exp = exp.car()
     info = reader.current_pos_info[exp]
     report_compile_error(self, file=info[0], line=info[1], char=info[2])
Example #4
0
File: lx.py Project: kr/sodium
def scan_out_xyz(exp):
    if self_evaluatingp(exp): return nil
    if tagged_list(exp, quote_s): return nil
    if variablep(exp): return scan_out_xyz_variable(exp)
    if tagged_list(exp, set__s): return scan_out_xyz_assignment(exp)
    if tagged_list(exp, def_s): return scan_out_xyz_definition(exp)
    #if tagged_list(exp, load_module_s): return nil
    if tagged_list(exp, if_s): return scan_out_xyz_if(exp)
    if tagged_list(exp, fn_s): return scan_out_xyz_obj(fn2obj(exp))
    if tagged_list(exp, bracket_s): return nil # impossible
    if tagged_list(exp, obj_s): return scan_out_xyz_obj(exp)
    if tagged_list(exp, sobj_s): return scan_out_xyz_sobj(exp)
    if tagged_list(exp, do_s): return scan_out_xyz_do(exp)
    if tagged_list(exp, inline_s): return nil
    if pairp(exp): return scan_out_xyz_application(exp)
    raise CompileError(exp, 'Unknown expression type in scan_out_xyz')
Example #5
0
File: lx.py Project: kr/sodium
def compile_literal(exp, target, linkage, cenv, pop_all_symbol):
  if exp is nil:
    return end_with_linkage(linkage,
            make_ir_seq((), (target,), mov(target, nil_r)), pop_all_symbol)
    return compile_self_evaluating(exp, target, linkage, cenv, pop_all_symbol)
  if self_evaluatingp(exp) or symbolp(exp):
    return compile_self_evaluating(exp, target, linkage, cenv, pop_all_symbol)
  if pairp(exp):
    reg = tmp_r
    if reg is target: reg = val_r # this feels like a hack
    d = compile_literal(exp.cdr(), target, next_s, cenv, pop_all_symbol)
    a = compile_literal(exp.car(), reg, next_s, cenv, pop_all_symbol)
    return end_with_linkage(linkage,
            append_ir_seqs(
                d,
                preserving((target,),
                    a,
                    make_ir_seq((reg, target), (target,),
                        ir.cons(target, reg, target)),
                    pop_all_symbol)), pop_all_symbol)
  raise CompileError(exp, "Can't compile literal")
Example #6
0
File: lx.py Project: kr/sodium
def compile(exp, target, linkage, cenv, pop_all_symbol, **kwargs):
  try:
    if self_evaluatingp(exp):
        return compile_self_evaluating(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, quote_s): return compile_quoted(exp, target, linkage, cenv, pop_all_symbol)
    if variablep(exp): return compile_variable(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, set__s): return compile_assignment(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, def_s): return compile_definition(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, qmark_s): return compile_qmark(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, fn_s): return compile_obj(fn2obj(exp), target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, bracket_s): return compile_shfn(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, obj_s): return compile_obj(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, sobj_s): return compile_sobj(exp, target, linkage, cenv, pop_all_symbol, **kwargs)
    if tagged_list(exp, do_s): return compile_do(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, inline_s): return compile_inline(exp)
    if tagged_list(exp, return_s): return compile_return(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list(exp, cint_s): return compile_cint(exp, target, linkage, cenv, pop_all_symbol)
    if tagged_list2(exp, assign_s): return compile(assign2prefix(exp, set__s), target, linkage, cenv, pop_all_symbol)
    if simple_macrop(exp): return compile(expand_simple_macros(exp),
            target, linkage, cenv, pop_all_symbol)
    if pairp(exp): return compile_application(exp, target, linkage, cenv, pop_all_symbol)
    raise CompileError(exp, 'Unknown expression type')
  except CompileError, err:
    err.annotate_or_report(exp)
Example #7
0
File: lx.py Project: kr/sodium
def asm_meth_arity(meth):
    params = asm_meth_params(meth)
    if pairp(params): return len(params)
    return 0
Example #8
0
File: lx.py Project: kr/sodium
def expand_simple_macro(exp):
  if not pairp(exp): return exp
  tag = str(exp.car())
  if tag not in simple_macros: return exp
  return simple_macros[tag](exp)
Example #9
0
File: lx.py Project: kr/sodium
 def find(cframe, var, i):
     if cframe is var: return i, True
     if not pairp(cframe): return None, False
     if cframe.car() is var: return i, False
     return find(cframe.cdr(), var, i + 1)
Example #10
0
File: lx.py Project: kr/sodium
def tagged_list2(exp, tag):
    return pairp(exp) and (not exp.nullp()) and tagged_list(exp.cdr(), tag)
Example #11
0
File: lx.py Project: kr/sodium
def tagged_list(exp, tag):
    return pairp(exp) and (not exp.nullp()) and exp.car() is tag
Example #12
0
File: lx.py Project: kr/sodium
 def check(params):
     if params is nil: return True
     if pairp(params): return check(params.cdr())
     return False
Example #13
0
File: lx.py Project: kr/sodium
def meth_arity(meth):
    if is_inline_meth(meth): return inline_meth_arity(meth)
    if is_asm_meth(meth): return asm_meth_arity(meth)
    params = meth_params(meth)
    if pairp(params): return len(params)
    return 0
Example #14
0
File: lx.py Project: kr/sodium
def inline_meth_arity(meth):
    params = inline_meth_params(meth)
    if pairp(params): return len(params)
    return 0
Example #15
0
File: lx.py Project: kr/sodium
def inline_meth_params(meth):
    x = meth.caddr()
    if pairp(x): return x.cdr()
    return nil
Example #16
0
File: lx.py Project: kr/sodium
def asm_meth_params(meth):
    x = meth.cadr()
    if pairp(x): return x.cdr()
    return nil
Example #17
0
File: lx.py Project: kr/sodium
def asm_meth_base_name(meth):
    x = meth.cadr()
    if pairp(x): return x.car()
    return x
Example #18
0
File: lx.py Project: kr/sodium
def inline_meth_base_name(meth):
    x = meth.caddr()
    if pairp(x): return x.car()
    return x