Commit Graph

711 Commits

Author SHA1 Message Date
dmitry
09828df085 AbilitiesInterpreter WIP 2021-03-09 19:14:56 +03:00
dmitry
ebe77b164f progress 2021-03-09 17:11:42 +03:00
dmitry
69790cf6ca Func program 2021-03-09 15:13:01 +03:00
dmitry
e643ccff13 Coalgebra prog 2021-03-09 14:41:37 +03:00
dmitry
cdd9cc8cea Progs WIP 2021-03-09 14:07:05 +03:00
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