Commit Graph

7750 Commits

Author SHA1 Message Date
Folkert
d25b1dc549 fix final list test 2021-05-14 01:02:16 +02:00
Folkert
1ee1a8114b more builtins 2021-05-14 00:41:39 +02:00
Folkert
f39bc34b8f add closure union to some builtins 2021-05-14 00:25:29 +02:00
Folkert
acfaf96734 lots of progress, many bugs 2021-05-13 23:45:39 +02:00
Folkert
ce195034ee sort of stable 2021-05-13 21:34:22 +02:00
Folkert
c4fc526038 working functions in list 2021-05-13 19:43:17 +02:00
Folkert
2163e01288 lowlevel List.map works 2021-05-13 19:15:17 +02:00
Folkert
f02f655e0b got some lowlevel stuff working 2021-05-13 01:39:06 +02:00
Folkert
051712c90b remove ClosureData type 2021-05-13 00:31:02 +02:00
Folkert
e63eea7389 WIP 2021-05-13 00:26:41 +02:00
Folkert
d753e64b94 temporary hack to allow closures that have a lambda set of 1 2021-05-10 22:29:26 +02:00
Folkert
29157e8b45 add test 2021-05-10 21:39:11 +02:00
Folkert
9708876dd8 fix closure example 2021-05-10 21:38:17 +02:00
Folkert
e95d42dda3 ensure symbol passed to jump is properly specialized 2021-05-10 13:23:28 +02:00
Folkert
f1a8b75196 great success 2021-05-09 23:24:27 +02:00
Folkert
694a896d54 fix closure size inference 2021-05-09 16:07:52 +02:00
Richard Feldman
6ba4d33e1b
Merge pull request #1291 from rtfeldman/constrain_list
Constrain Expr2::List
2021-05-08 22:47:48 -04:00
Richard Feldman
f92358c26e
Merge branch 'trunk' into constrain_list 2021-05-08 20:54:52 -04:00
Richard Feldman
3bf394a4e7
Merge pull request #1290 from rtfeldman/editor_inspiration
Inspiration code examples, HLS in-comment testing
2021-05-08 20:54:45 -04:00
Richard Feldman
51f453b872
Merge pull request #1292 from rtfeldman/zig-list-concat
List.concat in zig
2021-05-08 20:54:01 -04:00
Eric Henry
eda462c6e9 implement list.concat in zig 2021-05-08 14:39:06 -04:00
Anton-4
1050807b4b
reenable cache 2021-05-08 19:58:47 +02:00
Anton-4
955277e032
clean CI run 2021-05-08 19:06:09 +02:00
rvcas
f9d03f6d64 feat: always inline builtin helpers 2021-05-08 12:48:13 -04:00
rvcas
f01fc50337 tests: add new tests for list typechecking 2021-05-08 12:44:29 -04:00
rvcas
fc5e68cb97 tests: add temporarily useless test for SmallStr 2021-05-08 12:44:01 -04:00
rvcas
89bc27d941 tests: into not needed 2021-05-08 12:43:15 -04:00
rvcas
c196257c17 feat(Expr2): implement constraints for List 2021-05-08 12:42:45 -04:00
rvcas
41acbd0f58 feat: port over helper functions for list_type using pool 2021-05-08 12:42:05 -04:00
rvcas
c45b9e89c4 chore: better arguments name in fn exists 2021-05-08 12:41:16 -04:00
rvcas
4c69557f06 chore: bring Index into scope 2021-05-08 12:40:03 -04:00
Anton-4
4e8fd275ae
Inspiration code examples, HLS in-comment testing
- Inspiration for:
    + finding similar code snippets
    + evaluating code in comments (Haskell Language Server plugin). Found by @rvcas :)
2021-05-08 12:43:13 +02:00
Richard Feldman
4375026c7b
Merge pull request #1287 from rtfeldman/constrain_small_str_and_blank
Constrain Expr2: SmallStr(_) & Blank
2021-05-07 20:55:36 -04:00
Richard Feldman
5f86ce3cca
Merge pull request #1286 from rtfeldman/clippy-updates
recent clippy updates
2021-05-07 20:53:34 -04:00
rvcas
92c5e88a7a feat(Expr2): constrain SmallStr(_) and Blank 2021-05-07 12:21:10 -04:00
Richard Feldman
ab8cc95c2b Disable clippy rule for manual_map 2021-05-07 08:44:44 -04:00
rvcas
95da2a246d chore(ci): update rust version in the Earthfile 2021-05-07 07:43:13 -04:00
Folkert
fecb83b9c2 fixes 2021-05-07 11:00:15 +02:00
Richard Feldman
9a5c20b7c3
Merge pull request #1285 from rtfeldman/philly-ete-demo
Add (and then revert) content for Philly ETE demo
2021-05-06 22:03:18 -04:00
Richard Feldman
899f1ae05d
Merge pull request #1283 from rtfeldman/editor_debugging_idea
Added editor debugging idea
2021-05-06 22:03:11 -04:00
Richard Feldman
1e41ee517b Revert "Add content for Philly ETE demo"
This reverts commit e99d1a7c2c.
2021-05-06 22:01:49 -04:00
Richard Feldman
e99d1a7c2c Add content for Philly ETE demo 2021-05-06 22:01:45 -04:00
Anton-4
a8c9ff2868
Added debugging ML idea 2021-05-06 15:33:47 +02:00
Richard Feldman
d9afb42be6
Merge pull request #1279 from rtfeldman/constraints_cleanup
Editor Constraints: Some Cleanup
2021-05-06 07:16:01 -04:00
rvcas
183ca18b35 fix: Constrain SmallInt using Num * logic 2021-05-05 23:00:59 -04:00
rvcas
8bd63c1263 fix: use exists in SmallInt and Float 2021-05-05 23:00:24 -04:00
rvcas
48d2ec985d fix: use Num * in constrain_record 2021-05-05 22:59:23 -04:00
rvcas
d44b024efe fix: use Num * in constrain_small_int 2021-05-05 22:58:50 -04:00
Richard Feldman
7a5e3b1367
Merge pull request #1278 from rtfeldman/lambda-set-frontend
slowly fixing rigids
2021-05-05 19:46:49 -04:00
Richard Feldman
8105b706e5
Merge branch 'trunk' into lambda-set-frontend 2021-05-05 17:41:03 -04:00