Refactoring: method-generate

Fix: testcase for codegen

Add: generate abc-file which can be embeded in swf.

supporting for swf

Add: invoke method

- add instance method invocation.

ADD: unittest for define-class/new

UPDATE: now,Ruby is not required for test

UPDATE: Readme

Fix: add class name to global-env

Change: use CPP & one-liner for collectiong test suite.

Change: Class name is lexical -> global

- If I define class as local, AVM2 raise corruption error.

Add: "new" special form to create instance from class.

- syntax: (new Class arg0 arg1)

Add: call base class constructor

Update: README

Change: 'make count' outputs code-line summary

Add: instruction for constructor

Add: support namespace

Fix: test-code for class-stmt

Change: change 'define-class' from expr to stmt.

- Because 'define-class' changes environment, it is not expr,but stmt.

Change: generate class code which can be dumped by abcdump.

- Fix: traits encoding
- Add: Sealed flag

Merge branch 'class_support' of git@github.com:mzp/scheme-abc into class_support

Revert "Support newclass"

This reverts commit 134f3773c22401cb3851110eaaba0622902e6407.

Refactoring: add newline

Fix: generate runnable class code

Support newclass

Support class compile.

- We can generate valid abc with class. But cannot run it.

generate class-info

support ast.class

make meth.name collectable

change type of Asm.meth.name (string to multiname)

fix asm_klass

Add assemble class

Split instruction module from asm module.

Old:
  Because asm module contains "#include", we cannot load it at top-level.

New:
  The code which contains "#include" is separeted to instruction module.
  So,we can load asm module at top-level

Add NewClass instruction.

To archive this,change as following:

- add klass,a data type for class
- each instruction config can have multi sub-methods

fix bug: bytes_of_instance

add enocde function of instance_info

Merge branch 'master' into class_support

change the place where call Closuretrans

add test for Abc.bytes_of_class

add comment

add class

remove warn

Add class_info and instance_info data type to Abc module

Add some function to HList.

Remove Cmalp4StackTracer.

Camlp4Stacktracer too slow. Use OCAMLRUNPARAM=b.

Haskell linke list util

add test case for closure transfom

Split Ast to Codegen/Ast/ClosureTrans

split closure-warp and generate-expr

add unittest for asm

env

suuport 'hoge

add quote lex

add to_string to sexp module

rename

add comment

remove pool

remove pool

refactoring cpool

add ocamldoc

Refactoring Bytes module.

- label_u30 function is not clearly. Replaced by block function.

Improve Cpool.

Use janestreet-core's Set insted of List.

add make doc

change README

add a reason for requiring OUINT

change README: how to install extlib

Support double

- double literal(e.g. 42.1)
- add double operator(e.g. +. -. ,etc)

adding double encode

add #t/#f

refactoring lexer

use pushbyte for small integer

add instruction: pushxxx

split rec-example.

rec.scm: check for supporting recursion by "letrec","define"
define-hidden: check if define has lexcical scope

Support define: hidden prev definition

example:

 (define x 10)
 (define (f) x)
 (define x 20)

 (f) ;; -> 10

add rec example

Support letrec

change parser for letrec

rearrange test_ast & add letrec test

change "make count" to contain example/*.scm

Improve makefile

- add count line target
- add some comment

rearrange .gitignore

Improve test result by adding newline

ignore MacOS X cache file(.DS_storewq)

Add example for recurtion (NOTE: not working NOW)

Improve unittest result.

old:
  OUnit: expected: ("", 0, 0, 0, [15; 17; Tag17 (1); Tag17 (2); 29; 5], 0, 0) but got: ("", 0, 0, 0, [15; 17; Tag17 (1); Tag17 (3); 29; 5], 0, 0)

new:
  OUnit: instructions
  expected: [ GetLocal_0(); PushScope(); PushInt(1); PushInt(2); Add_i(); ReturnValue() ] but got: [ GetLocal_0(); PushScope(); PushInt(1); PushInt(3); Add_i(); ReturnValue() ]

new exampe

Change ast for function call

We support following form:

 ((lambda (x) (+ x 1)) 1)

Support closure!!

Support closure which use arguments.

  (define (f x)
     (lambda () x))

add comment

Refactoring ast module

change testcase

support closure

moved

bugfix: extra method

Change scope management

add newactivation

add example

midstream of supporting closure(NOT COMPLETE)

rename 'concatMap' to 'concat_map'

Remove a few member of ast.

- I realize that binary operator equals function application. So I changed following:

  before:
    Add (Int 1,Int 2)

  after:
    Call ("+",[Int 1; Int 2])