dmitry
|
4b0ddc7f48
|
Prog type
|
2021-03-09 12:45:17 +03:00 |
|
dmitry
|
be53b19c50
|
Exprs to free programs WIP
|
2021-03-08 18:02:40 +03:00 |
|
dmitry
|
d7b2f4c99c
|
Free
|
2021-03-08 17:35:12 +03:00 |
|
dmitry
|
2119721829
|
Ast refactoring WIP
|
2021-03-08 16:08:30 +03:00 |
|
dmitry
|
1cdcc085bb
|
Ast refactoring WIP
|
2021-03-08 15:33:28 +03:00 |
|
alari
|
4cb1c2a4d8
|
AST refactoring WIP
|
2021-03-08 12:14:35 +03:00 |
|
alari
|
fb176ebc15
|
Precompile WIP
|
2021-03-05 22:46:32 +03:00 |
|
alari
|
4356620579
|
Typechecker typechecks
|
2021-03-05 21:55:57 +03:00 |
|
alari
|
2276f27389
|
VarTypes WIP
|
2021-03-05 18:40:17 +03:00 |
|
alari
|
83a5585035
|
LiteralType
|
2021-03-05 18:24:34 +03:00 |
|
dmitry
|
f197996b33
|
Strict types collecting
|
2021-03-05 16:07:38 +03:00 |
|
dmitry
|
604edbc4cc
|
Variance wording in tests
|
2021-03-05 14:34:02 +03:00 |
|
dmitry
|
716ea53240
|
accepts
|
2021-03-05 14:26:56 +03:00 |
|
dmitry
|
8b1eae4c9c
|
TypeSpec
|
2021-03-05 14:11:46 +03:00 |
|
dmitry
|
bf5e841227
|
ScalarType
|
2021-03-05 12:32:46 +03:00 |
|
alari
|
07fe9ef872
|
TypeMatcher WIP
|
2021-03-04 21:32:32 +03:00 |
|
dmitry
|
d0ef5ee942
|
Typechecker WIP
|
2021-03-04 18:51:37 +03:00 |
|
dmitry
|
393cff7579
|
Typecheck WIP
|
2021-03-03 17:57:36 +03:00 |
|
dmitry
|
8f3d5915fc
|
ExpectAndDefine type simplification
|
2021-03-03 17:34:14 +03:00 |
|
dmitry
|
09863f84bf
|
Arrows spec
|
2021-03-03 16:41:59 +03:00 |
|
dmitry
|
05970c248c
|
Arrows WIP
|
2021-03-03 15:46:31 +03:00 |
|
dmitry
|
07155ecdbf
|
AbilitiesResolve
|
2021-03-03 15:19:11 +03:00 |
|
dmitry
|
bc47134cc8
|
Abilities resolve WIP
|
2021-03-03 14:45:07 +03:00 |
|
dmitry
|
97b806722f
|
Abilities def walker
|
2021-03-03 13:47:51 +03:00 |
|
dmitry
|
3abe87f6d8
|
Types walker
|
2021-03-03 13:29:46 +03:00 |
|
dmitry
|
d996d2beae
|
Args and vars validation
|
2021-03-03 12:43:50 +03:00 |
|
dmitry
|
c3fe3e906c
|
Many renames, parser fixes
|
2021-03-03 11:37:54 +03:00 |
|
alari
|
bdb9f86d7c
|
Failing DataAccSpec
|
2021-03-03 00:36:28 +03:00 |
|
alari
|
a8d61e43c0
|
Failing DataAccSpec
|
2021-03-03 00:30:54 +03:00 |
|
alari
|
30914ce619
|
Tests compile
|
2021-03-03 00:13:15 +03:00 |
|
dmitry
|
3bb9a4db7e
|
WIP: passers
|
2021-03-02 19:46:27 +03:00 |
|
dmitry
|
13331f4183
|
Typecheck wip
|
2021-03-02 09:32:08 +03:00 |
|
dmitry
|
ba833a3b4b
|
Show all errors
|
2021-03-01 16:25:57 +03:00 |
|
dmitry
|
ae7ece2cb2
|
Names -> InOutAcc refactoring
|
2021-03-01 15:50:15 +03:00 |
|
alari
|
4fa3d99123
|
progress
|
2021-02-27 00:22:28 +03:00 |
|
alari
|
6fea32dc14
|
Check that all types are defined
|
2021-02-26 23:22:11 +03:00 |
|
dmitry
|
5380a2bbf3
|
Validate names, show error
|
2021-02-26 19:43:47 +03:00 |
|
dmitry
|
5e17246717
|
Free names of functions are exported correctly
|
2021-02-26 18:44:33 +03:00 |
|
dmitry
|
78b00d0800
|
Tests for names extraction
|
2021-02-26 18:12:38 +03:00 |
|
dmitry
|
2306fefd11
|
Track names definitions, whereas possible
|
2021-02-26 17:51:09 +03:00 |
|
dmitry
|
9cf2db90d8
|
Basic Names impl
|
2021-02-26 17:14:14 +03:00 |
|
dmitry
|
d2676c8b14
|
Reformat
|
2021-02-26 13:57:36 +03:00 |
|
dmitry
|
9f80069615
|
Type aliases
|
2021-02-25 17:58:50 +03:00 |
|
dmitry
|
694b3a040e
|
Span is a comonad
|
2021-02-25 17:37:25 +03:00 |
|
dmitry
|
37f99eb15e
|
Added type argument to parsers
|
2021-02-25 16:57:27 +03:00 |
|
dmitry
|
bde8017d31
|
Allow comments before blocks
|
2021-02-25 16:02:08 +03:00 |
|
dmitry
|
05004ed6f6
|
Basic FuncSpec
|
2021-02-25 15:50:42 +03:00 |
|
dmitry
|
215866baf0
|
Literals parsing
|
2021-02-25 14:26:32 +03:00 |
|
dmitry
|
103203bab0
|
Multiline comments, AbilityResolve
|
2021-02-25 13:55:12 +03:00 |
|
dmitry
|
5fb96efbaf
|
FuncOp progress
|
2021-02-24 18:57:41 +03:00 |
|