Commit Graph

463 Commits

Author SHA1 Message Date
dmitry
f3372e5d6b Use \r\n, \n, \n\r for newlines 2021-03-22 11:48:10 +03:00
Dmitry Kurinskiy
82428b1227
Merge pull request #5 from fluencelabs/for-expr
Generate Fold
2021-03-19 18:46:04 +03:00
dmitry
783da06f7d Generate Fold 2021-03-19 18:43:38 +03:00
dmitry
27a25d90a1 Air fix 2021-03-19 18:05:13 +03:00
Dmitry Kurinskiy
6a67fa175e
Merge pull request #4 from fluencelabs/gen-ts
Generate basic TypeScript file
2021-03-19 16:47:08 +03:00
dmitry
36f955b17d Tiny fixes for AquaGen 2021-03-19 16:45:16 +03:00
dmitry
dbcacebdbd Move typescript-specific things to Gen 2021-03-19 16:42:12 +03:00
dmitry
a99256ee53 Return via relay 2021-03-19 16:24:29 +03:00
dmitry
7fef0d3906 Generate typescript as a whole 2021-03-19 16:00:28 +03:00
dmitry
61781dd5bd Generate from model 2021-03-19 15:25:58 +03:00
dmitry
7dde8a5d07 Simplified CoalgebraModel 2021-03-19 14:33:57 +03:00
DieMyst
a72bfff377 readme 2021-03-19 12:40:27 +03:00
dmitry
48a5ab2fa5 FuncModel wip 2021-03-19 12:30:52 +03:00
dmitry
d0d4db7bf5 FuncSem WIP 2021-03-19 11:53:00 +03:00
dmitry
b45c61f5c8 Merge branch 'main' of github.com:fluencelabs/aqua-hll into gen-ts 2021-03-19 11:52:43 +03:00
Dmitry Kurinskiy
6c4bea84ed
Merge pull request #3 from fluencelabs/aqua-gen
Aqua gen
2021-03-19 11:51:22 +03:00
DieMyst
10ba31479f use fs2 2021-03-19 11:30:55 +03:00
dmitry
90abafc221 Compiler -> Semantics 2021-03-19 11:18:52 +03:00
dmitry
9d2489ea14 Better separation of concerns: parser only parses, semantics are evaluated separately 2021-03-19 11:16:03 +03:00
dmitry
c3347dd7bd Packages renaming 2021-03-19 10:45:49 +03:00
DieMyst
ce049d42ca build jar, generate hll files from dir 2021-03-18 15:51:22 +03:00
Dima
232cd0439c
Merge pull request #2 from fluencelabs/tests
Tests
2021-03-18 13:17:37 +03:00
DieMyst
b01be3d161 fix tests 2021-03-18 13:06:14 +03:00
DieMyst
cb1a5d3aa0 Merge remote-tracking branch 'origin/main' into tests 2021-03-18 13:02:38 +03:00
Dmitry Kurinskiy
0f6db200b6
Merge pull request #1 from fluencelabs/init-gen
First approach to generators
2021-03-18 12:11:56 +03:00
DieMyst
69af7abc9e cleanup 2021-03-18 11:33:41 +03:00
DieMyst
aa7e30be00 on tests, ability tests 2021-03-18 11:32:11 +03:00
dmitry
c9b3e04a7f Generate callbacks in top-level functions 2021-03-17 18:28:46 +03:00
dmitry
76b37430e8 Basic generator works 2021-03-17 17:38:24 +03:00
DieMyst
63c852dfa2 coalgebra tests 2021-03-17 15:57:12 +03:00
dmitry
acb59d5582 ArrowGen 2021-03-17 15:17:51 +03:00
DieMyst
4b4509868c func head tests 2021-03-17 13:34:35 +03:00
dmitry
b4a9979278 ReturnExpr for functions 2021-03-17 13:10:21 +03:00
DieMyst
5fa8dde601 coalgebra tests 2021-03-17 12:40:48 +03:00
dmitry
35a3c4fc86 Generators WIP 2021-03-16 14:52:46 +03:00
dmitry
a80c8cd571 Working on Gen 2021-03-16 14:03:06 +03:00
dmitry
e3ad4f4ed1 Removed old contexts and expression parsers 2021-03-15 15:55:43 +03:00
dmitry
6b1f7dd0af Type checker works 2021-03-15 15:49:48 +03:00
dmitry
e33b499c42 Verifies (with bugs) 2021-03-15 15:19:32 +03:00
dmitry
401b7a31df Types interpreter 2021-03-15 14:42:07 +03:00
dmitry
ab4a26ee96 Basic PeerIdInterpreter 2021-03-15 12:48:41 +03:00
dmitry
b8d72677ee Basic NamesInterpreter 2021-03-15 12:39:18 +03:00
dmitry
b7306e1fa5 StackInterpreter factored out 2021-03-15 11:45:27 +03:00
alari
5306514e92 Access to Gen in Prog.around 2021-03-13 11:11:34 +03:00
dmitry
d7e81256ae Unused op removed 2021-03-12 17:40:02 +03:00
dmitry
c403830d59 Basic AbilitiesInterpreter implementation 2021-03-12 17:29:51 +03:00
dmitry
ef3fbec100 EitherT is not a good choice 2021-03-12 11:27:38 +03:00
dmitry
a1c69819d2 EitherT? 2021-03-11 17:06:31 +03:00
dmitry
ebc8ee2aa3 AbilitiesInterpreter wip 2021-03-11 16:53:04 +03:00
dmitry
a0309b8bdf Return Gen type instead of Unit 2021-03-11 13:02:30 +03:00