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])

Fix something to resolve warnings.

change output string

Improve test script

- show diff log

Add integrate test

- To run integrate test,you should only type "make integrate"
- Integrate test executes following:
   - extract expected result from a source file
   - compile the soucre file
   - execute the compiled file
   - compare its output andn expceted result

Support "define"

- 2 type define. Normal-type ("(define x 42)") and syntax-sugar ("(define (f) 42)").

some bugfix

Add statement

- statement has side-effect,but expression has sife-effect.
  For making "define",I add statement.

Rename Ast.Method to Ast.Lambda,and remove method-name.

- Change lambda to represent only anoymous-function.

add some-function

traits

Use cpp's #include instead of OCaml's include

- Previously,I use OCaml's include to use auto-generated code. But there are some problem around lexical-context.
  Because of ignorant of context,cpp doesn't have these problem.

Refactoring Cpool moudle.

- Use "lift" for record
-- thanks to. msakai

Support bracket

- Support bracket instead of paren. Now,we can write following:

 (let ([x 1])
   ....)

add trait

support function-argument

add args to "Method"

add args to "Method"

split bind-table

integrate call

change Call-code

support return-value

add test-case

add example/lambda.scm

support "lambda"

add "lambda" keyword

remove either

Change 'meth' record structure.

- Change 'meth' & 'instruction' recard structure like tree
- maybe 'newfunction' instruction require this

add preprocess for match.ml

mutual recursion 'instruction' and 'meth'

add Pool module

add table

add info to README

Revert "add info to READM"

This reverts commit 868c819811e402226ab58956d370c666e6df1973.

add info to READM

Add 'begin' for grouping expression

Add let-expression

- add syntax for let
- add ast for let & block
-- block means ast list

Add let-expression

- 'let' is worable,but slow

add let-expresion(not complete)

add instruction

Generate optimized code for if-expression

- Now,use optimize if-operand(e.g. iflt instead of ifalse)

Add system-use function to bytes module for efficiency

add test

Add: if-expression

- fix: label create position

fix backpatch address

add label module

add backpatch

bugfix: swap < and >

not complete: if

add "if" instrcution. (e.g. ifgt)

Add boolean operator.

- Add boolen operator

fix: extra dependency

bugfix: mixed compiler warings and src/match.ml

add boolean operator

ignore *.abc

change makefile