This website requires JavaScript.
77943a8117
added primitive codegen test
pca006132
2021-08-12 13:55:15 +0800
3a93e2b048
TypeEnum::TObj.param is now RefCell for interior mutability
ychenfo
2021-08-12 13:17:51 +0800
824a5cb01a
register top level clean up
ychenfo
2021-08-12 10:50:01 +0800
17ee8fe6d0
starting cleaning up and further add Arc<Mutex>
ychenfo
2021-08-11 17:35:23 +0800
d46a4b2d38
symbol_resolver: fixed type variable handling
pca006132
2021-08-12 10:25:32 +0800
de8b67b605
refactored symbol resolver
pca006132
2021-08-11 17:28:29 +0800
0af4e95914
Merge remote-tracking branch 'origin/hm-inference_anto' into hm-inference
pca006132
2021-08-11 15:42:32 +0800
99276c8f31
formatted
ychenfo
2021-08-11 15:18:21 +0800
42a636b4ce
add Arc<Mutex<dyn SymbolResolver>> and change from Box<SymbolResolve> to Arc<SymbolResolver>, need format and cleanup
ychenfo
2021-08-11 15:11:51 +0800
e112354d25
codegen refactored
pca006132
2021-08-11 14:37:26 +0800
43236db9bd
update some previous work on top level with the clean up
ychenfo
2021-08-11 13:31:59 +0800
1bec6cf2db
continue working on the top level
ychenfo
2021-08-10 23:49:58 +0800
a73ab922e2
cleanup
pca006132
2021-08-10 21:57:31 +0800
82ce816177
refactored top level parsing, need review
ychenfo
2021-08-10 10:33:18 +0800
6ad953f877
top level class roughly handled, push for review
ychenfo
2021-08-09 01:43:41 +0800
4db871c244
put alloca in init block
pca006132
2021-08-09 16:37:28 +0800
cc0692a34c
modified alloca
pca006132
2021-08-09 16:19:20 +0800
7a90ff5791
while loop constructs
pca006132
2021-08-09 16:10:17 +0800
d8c713ce3d
assignment statement
pca006132
2021-08-09 15:39:50 +0800
1ffb792000
make tuple a ptr to a struct instead of a struct
pca006132
2021-08-07 17:41:48 +0800
057fcfe3df
default parameter value generation
pca006132
2021-08-07 17:31:01 +0800
86ca02796b
function parameter handling
pca006132
2021-08-07 17:25:14 +0800
711482d09c
expr codegen cleanup
pca006132
2021-08-07 15:30:03 +0800
7a38ab3119
codegen for function call
pca006132
2021-08-07 15:06:39 +0800
34d3317ea0
store operation method signature
pca006132
2021-08-07 10:41:53 +0800
c405e46b00
moving location and symbol_resolver out from typecheck
pca006132
2021-08-07 10:28:41 +0800
18db2ddd53
change the type TypeEnum::TObj {object_id} to DefinitionId as with top_level
ychenfo
2021-08-06 10:30:57 +0800
fe26070364
cleanup basic_test_env
ychenfo
2021-08-05 15:09:28 +0800
095f28468b
added if expr
pca006132
2021-08-05 16:52:41 +0800
29286210b5
implementing codegen
pca006132
2021-08-05 14:55:23 +0800
b01d0f6fbb
formatting
pca006132
2021-08-05 14:55:09 +0800
3dcd846302
added rayon dependency
pca006132
2021-08-05 14:53:47 +0800
c0227210df
bit shift lhs rhs same type; float ** int and float ** float both supported
ychenfo
2021-08-05 11:55:46 +0800
99c71687a6
fixed: bitwise shift rhs can only be int32; better structured code
CrescentonC
2021-08-04 16:46:16 +0800
d052f007fb
fix typo of primitives method
CrescentonC
2021-08-04 12:03:56 +0800
8452579c67
use parking_lot RwLock
pca006132
2021-08-03 14:11:41 +0800
f00c1813e3
top-level related changes
pca006132
2021-08-03 13:38:27 +0800
d4d12a9d1d
added crossbeam dependency
pca006132
2021-08-03 12:38:55 +0800
a3acf09bda
typedef: make it send
pca006132
2021-08-03 12:38:12 +0800
52dc112410
unification table: modified conversion impl
pca006132
2021-08-03 12:35:58 +0800
d4807293b0
clean up unused variabls and comments
CrescentonC
2021-08-03 10:41:52 +0800
d4721db4a3
not creating temp for borrow, more concise code
CrescentonC
2021-08-03 09:45:39 +0800
a7e3eeea0d
add primitive magic method support; change from TypeEnum::TObj { fields: Mapping<String>, ..} to TypeEnum::TObj {fields: RefCell<Mapping<String>>, .. } for interior mutability
CrescentonC
2021-08-02 17:36:37 +0800
f7bbc3e10d
Merge branch 'hm-inference' into hm-inference_anto
CrescentonC
2021-08-02 11:33:36 +0800
7e0d55443a
better structured primitive magic methods impl
CrescentonC
2021-08-02 11:28:05 +0800
197a72c658
added comment
pca006132
2021-07-30 16:43:25 +0800
eba92ed8bd
added method to get all instantiations
pca006132
2021-07-30 16:32:50 +0800
b87c627c41
updated with field in the test environment
CrescentonC
2021-07-30 15:46:57 +0800
ae79533cfd
Merge remote-tracking branch 'origin/hm-inference' into hm-inference_anto
CrescentonC
2021-07-30 15:41:53 +0800
9983aa62e6
add primitive magic methods
CrescentonC
2021-07-30 15:40:14 +0800
7ad8e2d81d
cleanup some error reporting code
pca006132
2021-07-30 13:50:46 +0800
743a9384a3
added rigid type variable
pca006132
2021-07-30 11:28:27 +0800
f2c5a9b352
added location -> call mapping
pca006132
2021-07-30 11:01:11 +0800
09e76efcf7
start adding primitive magic methods
ychenfo
2021-07-29 15:36:19 +0800
832513e210
new is_concrete type check
pca006132
2021-07-28 17:25:19 +0800
f665ea358b
fixed fold
pca006132
2021-07-28 10:44:58 +0800
eb5c029414
start statement check, fix some error message
refactor_anto
ychenfo
2021-07-27 16:06:13 +0800
e15473d2c9
fixed pattern matching
pca006132
2021-07-27 14:39:53 +0800
5f0490cd84
added virtual test
pca006132
2021-07-27 11:58:35 +0800
9603aa644a
change the symbol resolver back and add some test case
ychenfo
2021-07-27 10:57:25 +0800
512fc59281
test_case can be used, update symbol_resolver
ychenfo
2021-07-27 10:24:53 +0800
d14076fe7f
fix test_case import bug
ychenfo
2021-07-26 17:38:09 +0800
e631e4997b
add some error message, try to write test using test case
ychenfo
2021-07-26 17:30:48 +0800
1d13b16f94
updated function check
pca006132
2021-07-26 16:00:29 +0800
8d0856a58d
added documentation
pca006132
2021-07-26 14:38:18 +0800
bf31c48bba
fixed missing unification
pca006132
2021-07-26 14:20:09 +0800
123c5cf903
error_stack added, starting to working on writing error messages
ychenfo
2021-07-26 13:33:48 +0800
132bc101b0
modified the with_context api and add error_stack
CrescentonC
2021-07-26 13:01:47 +0800
0941de9ee1
Revert "shell.nix: set LLVM_SYS_100_PREFIX. Closes #4 "
Sebastien Bourdeauducq
2021-07-26 12:29:16 +0800
8618837816
fixed range unification
pca006132
2021-07-26 11:55:37 +0800
53ebe8d8b2
shell.nix: set LLVM_SYS_100_PREFIX. Closes #4
Sebastien Bourdeauducq
2021-07-24 09:31:24 +0800
d7df93bef1
fixed range check
pca006132
2021-07-23 17:22:05 +0800
d140164a38
fixed virtual unification
pca006132
2021-07-23 16:19:00 +0800
ddcf4b7e39
refactored typedef
pca006132
2021-07-23 15:25:44 +0800
88c45172b2
basic check for use-before-def
pca006132
2021-07-22 17:07:49 +0800
c315227a28
init function check
pca006132
2021-07-22 15:36:37 +0800
d484fa1e5c
added return type check
pca006132
2021-07-22 11:49:00 +0800
09c9218852
use custom unification table implementation
pca006132
2021-07-22 11:37:29 +0800
4f81690128
modified occur check
pca006132
2021-07-21 16:10:11 +0800
b3d849ea7a
list test
pca006132
2021-07-21 16:06:06 +0800
3e03398d9b
obj test
pca006132
2021-07-21 15:59:01 +0800
2f5c3b3cb7
more cleanup and started adding tests
pca006132
2021-07-21 15:36:35 +0800
25ff24a320
modified interface
pca006132
2021-07-21 14:24:46 +0800
0296844d5f
cleanup
pca006132
2021-07-21 13:28:05 +0800
e95bfe1d31
added statements
pca006132
2021-07-20 16:56:04 +0800
bc9b453b3e
function call implementation
pca006132
2021-07-20 16:13:43 +0800
fa31e8f336
fold listcomp
pca006132
2021-07-20 13:45:17 +0800
22455e43ac
lambda fold
pca006132
2021-07-20 11:34:32 +0800
016166de46
skeleton done
pca006132
2021-07-19 17:26:51 +0800
bf675e0863
change wrong spelling of attribute
CrescentonC
2021-07-19 17:25:07 +0800
eb4b2bb7f6
refactored using constrain
pca006132
2021-07-19 17:05:48 +0800
e732f7e089
removed integer encoding
pca006132
2021-07-19 16:51:58 +0800
8f0c335422
directly return after folding the special case of list comprehension
CrescentonC
2021-07-19 13:52:53 +0800
7b93720236
fix some warning from clippy
CrescentonC
2021-07-19 13:49:09 +0800
d4b85d0bac
expression type inference (WIP)
pca006132
2021-07-19 13:35:01 +0800
c913fb28bd
use signed integer for TSeq
pca006132
2021-07-19 13:34:45 +0800
c7051fcc22
directly impl Fold<()> for InferenceContext
CrescentonC
2021-07-19 12:03:13 +0800
f51603f6da
cleanup
pca006132
2021-07-19 09:52:25 +0800
94ffe4dac2
change from prefold to fold_listcomp, and simply the fold_listcomp
CrescentonC
2021-07-16 18:13:38 +0800
d67407716c
function unification...
pca006132
2021-07-16 15:55:52 +0800