-
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
-
f4121b570d
added documentation
pca006132
2021-07-16 14:34:52 +0800
-
8b078dfa1b
naming
pca006132
2021-07-16 13:59:08 +0800
-
62736bd4bf
cleanup: we don't actually need arena
pca006132
2021-07-16 13:55:29 +0800
-
b961128367
some more test for tupe constant indexing
CrescentonC
2021-07-16 13:12:59 +0800
-
de82fbabd8
tuple constant indexing now supported
CrescentonC
2021-07-16 13:00:30 +0800
-
be512985a7
add wrapper, now can fold from Expr<()> to Expr<Option<Type>>; fix slice; some more testing
CrescentonC
2021-07-16 11:28:32 +0800
-
c2d00aa762
occur check
pca006132
2021-07-15 16:51:55 +0800
-
d94f25583b
added tests
pca006132
2021-07-15 16:00:23 +0800
-
f33b3d3482
add some test
CrescentonC
2021-07-15 11:49:23 +0800
-
7823851fd6
clean up some code, need to test more
CrescentonC
2021-07-15 10:47:03 +0800
-
1df3f4e757
most of unification...
pca006132
2021-07-14 17:20:12 +0800
-
c5bef86001
direct impl fold trait on InferenceContext, now code is cleaner, need further test and review
CrescentonC
2021-07-14 17:19:03 +0800
-
4abe99f6b3
refactor the using of rustpython fold again, now can use with_scope, need further testing
CrescentonC
2021-07-14 17:06:00 +0800