Commit Graph

790 Commits

Author SHA1 Message Date
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
dmitry
ea17b56a05 progress 2021-02-18 16:49:39 +03:00
dmitry
f6ca9f85ff kad pseudocode 2021-02-17 16:30:45 +03:00
dmitry
834b5499f9 Air representation improvements 2021-02-10 17:10:03 +03:00
dmitry
4f90c22dd2 example.aqua 2021-02-02 16:56:47 +03:00
dmitry
a21d761a27 aqua.parse package 2021-02-01 17:45:46 +03:00
dmitry
8c3b6d291a First experiments with Aqua HLL 2021-02-01 16:17:46 +03:00