OSDN Git Service
MIZUNO Hiroki [Sat, 2 Aug 2008 23:17:15 +0000 (08:17 +0900)]
add to_string to sexp module
MIZUNO Hiroki [Sat, 2 Aug 2008 23:03:19 +0000 (08:03 +0900)]
rename
MIZUNO Hiroki [Sat, 2 Aug 2008 23:00:25 +0000 (08:00 +0900)]
add comment
MIZUNO Hiroki [Sat, 2 Aug 2008 15:01:55 +0000 (00:01 +0900)]
remove pool
MIZUNO Hiroki [Sat, 2 Aug 2008 15:01:28 +0000 (00:01 +0900)]
remove pool
MIZUNO Hiroki [Sat, 2 Aug 2008 14:31:02 +0000 (23:31 +0900)]
refactoring cpool
MIZUNO Hiroki [Sat, 2 Aug 2008 13:38:08 +0000 (22:38 +0900)]
add ocamldoc
MIZUNO Hiroki [Sat, 2 Aug 2008 13:10:39 +0000 (22:10 +0900)]
Refactoring Bytes module.
- label_u30 function is not clearly. Replaced by block function.
MIZUNO Hiroki [Sun, 6 Jul 2008 03:38:21 +0000 (12:38 +0900)]
Improve Cpool.
Use janestreet-core's Set insted of List.
MIZUNO Hiroki [Thu, 3 Jul 2008 14:01:55 +0000 (23:01 +0900)]
add make doc
MIZUNO Hiroki [Mon, 30 Jun 2008 00:12:19 +0000 (09:12 +0900)]
change README
MIZUNO Hiroki [Mon, 30 Jun 2008 00:10:04 +0000 (09:10 +0900)]
add a reason for requiring OUINT
MIZUNO Hiroki [Mon, 30 Jun 2008 00:08:58 +0000 (09:08 +0900)]
change README: how to install extlib
MIZUNO Hiroki [Mon, 23 Jun 2008 14:14:11 +0000 (23:14 +0900)]
Support double
- double literal(e.g. 42.1)
- add double operator(e.g. +. -. ,etc)
MIZUNO Hiroki [Sun, 22 Jun 2008 14:03:00 +0000 (23:03 +0900)]
adding double encode
MIZUNO Hiroki [Sun, 22 Jun 2008 09:20:51 +0000 (18:20 +0900)]
add #t/#f
MIZUNO Hiroki [Sun, 22 Jun 2008 07:43:04 +0000 (16:43 +0900)]
refactoring lexer
MIZUNO Hiroki [Sun, 22 Jun 2008 07:36:32 +0000 (16:36 +0900)]
use pushbyte for small integer
MIZUNO Hiroki [Sun, 22 Jun 2008 07:24:38 +0000 (16:24 +0900)]
add instruction: pushxxx
MIZUNO Hiroki [Sat, 21 Jun 2008 08:25:41 +0000 (17:25 +0900)]
split rec-example.
rec.scm: check for supporting recursion by "letrec","define"
define-hidden: check if define has lexcical scope
MIZUNO Hiroki [Sat, 21 Jun 2008 08:17:44 +0000 (17:17 +0900)]
Support define: hidden prev definition
example:
(define x 10)
(define (f) x)
(define x 20)
(f) ;; -> 10
MIZUNO Hiroki [Sat, 21 Jun 2008 04:47:24 +0000 (13:47 +0900)]
add rec example
MIZUNO Hiroki [Sat, 21 Jun 2008 04:39:11 +0000 (13:39 +0900)]
Support letrec
mzp [Fri, 20 Jun 2008 02:03:50 +0000 (11:03 +0900)]
change parser for letrec
mzp [Fri, 20 Jun 2008 01:59:49 +0000 (10:59 +0900)]
rearrange test_ast & add letrec test
mzp [Fri, 20 Jun 2008 01:23:03 +0000 (10:23 +0900)]
change "make count" to contain example/*.scm
mzp [Fri, 20 Jun 2008 01:20:24 +0000 (10:20 +0900)]
Improve makefile
- add count line target
- add some comment
mzp [Fri, 20 Jun 2008 01:15:14 +0000 (10:15 +0900)]
rearrange .gitignore
mzp [Fri, 20 Jun 2008 01:08:27 +0000 (10:08 +0900)]
Improve test result by adding newline
MIZUNO Hiroki [Thu, 19 Jun 2008 14:45:35 +0000 (23:45 +0900)]
ignore MacOS X cache file(.DS_storewq)
MIZUNO Hiroki [Thu, 19 Jun 2008 14:45:04 +0000 (23:45 +0900)]
Add example for recurtion (NOTE: not working NOW)
MIZUNO Hiroki [Thu, 19 Jun 2008 14:42:08 +0000 (23:42 +0900)]
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() ]
MIZUNO Hiroki [Sun, 15 Jun 2008 06:26:19 +0000 (15:26 +0900)]
new exampe
MIZUNO Hiroki [Sun, 15 Jun 2008 06:25:07 +0000 (15:25 +0900)]
Change ast for function call
We support following form:
((lambda (x) (+ x 1)) 1)
MIZUNO Hiroki [Sun, 15 Jun 2008 06:02:17 +0000 (15:02 +0900)]
Support closure!!
Support closure which use arguments.
(define (f x)
(lambda () x))
MIZUNO Hiroki [Sun, 15 Jun 2008 04:44:54 +0000 (13:44 +0900)]
add comment
MIZUNO Hiroki [Sun, 15 Jun 2008 04:42:58 +0000 (13:42 +0900)]
Refactoring ast module
MIZUNO Hiroki [Sat, 14 Jun 2008 23:48:35 +0000 (08:48 +0900)]
change testcase
MIZUNO Hiroki [Sat, 14 Jun 2008 23:30:24 +0000 (08:30 +0900)]
support closure
MIZUNO Hiroki [Sat, 14 Jun 2008 23:26:54 +0000 (08:26 +0900)]
moved
MIZUNO Hiroki [Sat, 14 Jun 2008 05:42:53 +0000 (14:42 +0900)]
bugfix: extra method
MIZUNO Hiroki [Sat, 14 Jun 2008 04:57:35 +0000 (13:57 +0900)]
Change scope management
mzp [Fri, 6 Jun 2008 02:28:59 +0000 (11:28 +0900)]
add newactivation
mzp [Fri, 6 Jun 2008 02:00:56 +0000 (11:00 +0900)]
add example
mzp [Thu, 5 Jun 2008 09:27:52 +0000 (18:27 +0900)]
midstream of supporting closure(NOT COMPLETE)
MIZUNO Hiroki [Wed, 4 Jun 2008 14:09:00 +0000 (23:09 +0900)]
rename 'concatMap' to 'concat_map'
MIZUNO Hiroki [Wed, 4 Jun 2008 14:06:38 +0000 (23:06 +0900)]
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])
MIZUNO Hiroki [Wed, 4 Jun 2008 13:34:48 +0000 (22:34 +0900)]
Fix something to resolve warnings.
mzp [Mon, 2 Jun 2008 09:27:24 +0000 (18:27 +0900)]
change output string
mzp [Mon, 2 Jun 2008 09:17:30 +0000 (18:17 +0900)]
Improve test script
- show diff log
mzp [Mon, 2 Jun 2008 09:14:21 +0000 (18:14 +0900)]
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
MIZUNO Hiroki [Sat, 31 May 2008 05:29:39 +0000 (14:29 +0900)]
Support "define"
- 2 type define. Normal-type ("(define x 42)") and syntax-sugar ("(define (f) 42)").
MIZUNO Hiroki [Sat, 31 May 2008 05:02:37 +0000 (14:02 +0900)]
some bugfix
MIZUNO Hiroki [Sat, 31 May 2008 04:59:00 +0000 (13:59 +0900)]
Add statement
- statement has side-effect,but expression has sife-effect.
For making "define",I add statement.
MIZUNO Hiroki [Fri, 30 May 2008 13:14:47 +0000 (22:14 +0900)]
Rename Ast.Method to Ast.Lambda,and remove method-name.
- Change lambda to represent only anoymous-function.
mzp [Fri, 30 May 2008 02:17:33 +0000 (11:17 +0900)]
add some-function
MIZUNO Hiroki [Thu, 29 May 2008 15:14:07 +0000 (00:14 +0900)]
traits
MIZUNO Hiroki [Wed, 28 May 2008 15:04:16 +0000 (00:04 +0900)]
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.
MIZUNO Hiroki [Wed, 28 May 2008 13:06:51 +0000 (22:06 +0900)]
Refactoring Cpool moudle.
- Use "lift" for record
-- thanks to. msakai
mzp [Wed, 28 May 2008 01:16:31 +0000 (10:16 +0900)]
Support bracket
- Support bracket instead of paren. Now,we can write following:
(let ([x 1])
....)
MIZUNO Hiroki [Tue, 27 May 2008 14:18:56 +0000 (23:18 +0900)]
add trait
MIZUNO Hiroki [Mon, 26 May 2008 13:53:11 +0000 (22:53 +0900)]
support function-argument
MIZUNO Hiroki [Mon, 26 May 2008 13:23:27 +0000 (22:23 +0900)]
add args to "Method"
MIZUNO Hiroki [Mon, 26 May 2008 13:23:00 +0000 (22:23 +0900)]
add args to "Method"
MIZUNO Hiroki [Mon, 26 May 2008 13:20:54 +0000 (22:20 +0900)]
split bind-table
MIZUNO Hiroki [Mon, 26 May 2008 00:29:57 +0000 (09:29 +0900)]
integrate call
MIZUNO Hiroki [Mon, 26 May 2008 00:24:52 +0000 (09:24 +0900)]
change Call-code
MIZUNO Hiroki [Mon, 26 May 2008 00:13:00 +0000 (09:13 +0900)]
support return-value
MIZUNO Hiroki [Mon, 26 May 2008 00:04:55 +0000 (09:04 +0900)]
add test-case
MIZUNO Hiroki [Sun, 25 May 2008 07:28:35 +0000 (16:28 +0900)]
add example/lambda.scm
MIZUNO Hiroki [Sun, 25 May 2008 07:28:06 +0000 (16:28 +0900)]
support "lambda"
MIZUNO Hiroki [Sun, 25 May 2008 06:46:52 +0000 (15:46 +0900)]
add "lambda" keyword
MIZUNO Hiroki [Sun, 25 May 2008 06:29:58 +0000 (15:29 +0900)]
remove either
MIZUNO Hiroki [Sun, 25 May 2008 06:12:24 +0000 (15:12 +0900)]
Change 'meth' record structure.
- Change 'meth' & 'instruction' recard structure like tree
- maybe 'newfunction' instruction require this
MIZUNO Hiroki [Sun, 25 May 2008 05:42:07 +0000 (14:42 +0900)]
add preprocess for match.ml
MIZUNO Hiroki [Sun, 25 May 2008 03:32:44 +0000 (12:32 +0900)]
mutual recursion 'instruction' and 'meth'
MIZUNO Hiroki [Sun, 25 May 2008 03:01:11 +0000 (12:01 +0900)]
add Pool module
MIZUNO Hiroki [Sun, 25 May 2008 02:12:30 +0000 (11:12 +0900)]
add table
mzp [Fri, 23 May 2008 08:23:54 +0000 (17:23 +0900)]
add info to README
mzp [Fri, 23 May 2008 08:23:28 +0000 (17:23 +0900)]
Revert "add info to READM"
This reverts commit
868c819811e402226ab58956d370c666e6df1973.
mzp [Fri, 23 May 2008 08:23:20 +0000 (17:23 +0900)]
add info to READM
mzp [Fri, 23 May 2008 07:29:20 +0000 (16:29 +0900)]
Add 'begin' for grouping expression
MIZUNO Hiroki [Wed, 21 May 2008 13:33:37 +0000 (22:33 +0900)]
Add let-expression
- add syntax for let
- add ast for let & block
-- block means ast list
MIZUNO Hiroki [Tue, 20 May 2008 14:56:35 +0000 (23:56 +0900)]
Add let-expression
- 'let' is worable,but slow
MIZUNO Hiroki [Mon, 19 May 2008 14:30:01 +0000 (23:30 +0900)]
add let-expresion(not complete)
MIZUNO Hiroki [Mon, 19 May 2008 13:52:05 +0000 (22:52 +0900)]
add instruction
mzp [Mon, 19 May 2008 10:03:20 +0000 (19:03 +0900)]
Generate optimized code for if-expression
- Now,use optimize if-operand(e.g. iflt instead of ifalse)
MIZUNO Hiroki [Sun, 18 May 2008 14:25:40 +0000 (23:25 +0900)]
Add system-use function to bytes module for efficiency
MIZUNO Hiroki [Sun, 18 May 2008 14:08:40 +0000 (23:08 +0900)]
add test
MIZUNO Hiroki [Sun, 18 May 2008 00:27:28 +0000 (09:27 +0900)]
Add: if-expression
- fix: label create position
MIZUNO Hiroki [Sun, 18 May 2008 00:17:34 +0000 (09:17 +0900)]
fix backpatch address
MIZUNO Hiroki [Sat, 17 May 2008 23:35:58 +0000 (08:35 +0900)]
add label module
MIZUNO Hiroki [Sat, 17 May 2008 23:28:41 +0000 (08:28 +0900)]
add backpatch
MIZUNO Hiroki [Sat, 17 May 2008 13:54:19 +0000 (22:54 +0900)]
bugfix: swap < and >
MIZUNO Hiroki [Sat, 17 May 2008 08:18:33 +0000 (17:18 +0900)]
not complete: if
MIZUNO Hiroki [Sat, 17 May 2008 07:25:53 +0000 (16:25 +0900)]
add "if" instrcution. (e.g. ifgt)
MIZUNO Hiroki [Sat, 17 May 2008 05:14:12 +0000 (14:14 +0900)]
Add boolean operator.
- Add boolen operator
MIZUNO Hiroki [Sat, 17 May 2008 04:20:42 +0000 (13:20 +0900)]
fix: extra dependency
MIZUNO Hiroki [Sat, 17 May 2008 04:18:17 +0000 (13:18 +0900)]
bugfix: mixed compiler warings and src/match.ml
MIZUNO Hiroki [Sat, 17 May 2008 04:15:10 +0000 (13:15 +0900)]
add boolean operator