Commit Graph

7517 Commits

Author SHA1 Message Date
Richard Feldman
c77127e6fb
Merge pull request #1227 from rtfeldman/use-zig-types
Use zig types in LLVM codegen
2021-04-23 21:03:38 -04:00
Richard Feldman
b517528a09
Merge pull request #1226 from rtfeldman/expr-expect
Expr expect
2021-04-23 20:57:02 -04:00
Richard Feldman
a169d28545
Merge pull request #1221 from rtfeldman/validate-platform-signature
Attempt to fix race condition
2021-04-23 20:53:51 -04:00
Folkert
2319b33794 use zig list/str type 2021-04-23 16:24:36 +02:00
Folkert
41c1878d8d use zig dict type 2021-04-23 15:19:15 +02:00
Folkert
b01377f868 save the stack 2021-04-23 11:49:32 +02:00
Anton-4
74ddfb8e84
use cache again 2021-04-23 11:42:12 +02:00
Folkert
95fbc15373 add test 2021-04-23 11:27:36 +02:00
Folkert
2dab9c81d1 use invoke 2021-04-23 11:22:32 +02:00
Anton-4
412ba9bfd5
clean CI run 2021-04-23 10:46:59 +02:00
Folkert
6633f8ca9f add ExpectTrue lowlevel 2021-04-23 10:16:30 +02:00
Folkert
01c5b0dd66 codegen expect to boolean not 2021-04-23 10:00:36 +02:00
Folkert
903583f1d4 implement basic type error reporting 2021-04-23 09:41:49 +02:00
Folkert
4dd0ee6543 constrain expect 2021-04-23 09:36:12 +02:00
Folkert
ed7906ccbb fix canonicalization 2021-04-23 09:24:11 +02:00
Folkert
1d440fb5f6 another try 2021-04-23 09:09:09 +02:00
Richard Feldman
660437557b
Merge branch 'trunk' into validate-platform-signature 2021-04-22 22:01:34 -04:00
Richard Feldman
1e101599e0
Merge pull request #1224 from rtfeldman/rename-copyright-details
Rename COPYRIGHT_DETAILS to LEGAL_DETAILS
2021-04-22 21:53:45 -04:00
Richard Feldman
60be120fc1 Rename COPYRIGHT_DETAILS to LEGAL_DETAILS
Turns out GitHub's `Licensee` gem treats any file with the word
"copyright" in it as a potential license, and therefore doesn't
recognize and list Roc's license as UPL-1.0 because it thinks
there might be two licenses or something.

d274e47c71/lib/licensee/project_files/license_file.rb (L26)
2021-04-22 21:52:07 -04:00
Richard Feldman
7da58bcf9f
Merge pull request #1223 from rtfeldman/rename-copyright-file
Rename COPYRIGHT file to COPYRIGHT_DETAILS
2021-04-22 21:41:54 -04:00
Richard Feldman
f34a75f26e Rename COPYRIGHT file to COPYRIGHT_DETAILS
This way, GitHub's license finder doesn't get confused.
(They use the `Licensee` Ruby gem, which looks for files like
LICENSE, which we have, but also COPYRIGHT - and it apparently
gets confused if it sees both.)
2021-04-22 21:41:11 -04:00
Richard Feldman
137f327087
Merge pull request #1222 from rtfeldman/parse-expect
Parse expect
2021-04-22 21:40:59 -04:00
Folkert
700e7d9686 parse expect 2021-04-22 23:00:44 +02:00
Folkert
50942325b9 add expect keyword 2021-04-22 21:17:09 +02:00
Folkert de Vries
15def2db65
Merge branch 'trunk' into validate-platform-signature 2021-04-22 21:14:53 +02:00
Folkert
7e9cea9283 hopefully fix data race 2021-04-22 16:14:27 +02:00
Folkert
ae6e99152f store the requires typed ident for later use 2021-04-22 14:12:36 +02:00
Richard Feldman
288e8abf5e
Merge pull request #1220 from rtfeldman/inkwell-llvm-11-bump
Inkwell llvm 11 bump
2021-04-22 07:11:45 -04:00
Folkert
b4f6b1a0e4 Merge remote-tracking branch 'origin/trunk' into inkwell-llvm-11-bump 2021-04-22 12:43:41 +02:00
Folkert
3cc4e5fea6 bump inkwell version 2021-04-22 12:43:26 +02:00
Richard Feldman
483bbd48dd
Merge pull request #1217 from rtfeldman/selection_tests
many ctrl+shift+up tests
2021-04-21 20:50:48 -04:00
Richard Feldman
21847f3ba5 Revert "Try a different license line."
This reverts commit ec673b73eb.
2021-04-21 20:38:26 -04:00
Richard Feldman
28aecd5ef3 Revert "Try one more license line"
This reverts commit 16a343d8bf.
2021-04-21 20:37:58 -04:00
Richard Feldman
16a343d8bf Try one more license line 2021-04-21 20:34:03 -04:00
Richard Feldman
ec673b73eb Try a different license line.
Trying to get GitHub to recognize it!
2021-04-21 20:32:12 -04:00
Richard Feldman
b994878e75 Simplify LICENSE copyright line 2021-04-21 20:30:43 -04:00
Richard Feldman
14c326f5de
Merge pull request #1218 from rtfeldman/relicense
Change licenes to UPL 1.0
2021-04-21 20:01:40 -04:00
Richard Feldman
a11b849d45 Reference the COPYRIGHT file inline 2021-04-21 19:24:45 -04:00
Richard Feldman
a3fe488a2d Add COPYRIGHT file 2021-04-21 19:23:48 -04:00
Richard Feldman
0a50b0b488 Change license to UPL-1.0
Closes https://github.com/rtfeldman/roc/issues/1199
2021-04-21 19:18:44 -04:00
Anton-4
813a270e52 Merge branch 'trunk' of github.com:rtfeldman/roc into selection_tests 2021-04-21 19:25:01 +02:00
Anton-4
9e2e811582 ctrl+shift+up tests 2021-04-21 19:24:43 +02:00
Richard Feldman
1b9898d053
Merge pull request #1216 from rtfeldman/tooltip_inference_wiring
Tooltip inference wiring, backspace bugfix
2021-04-21 07:58:06 -04:00
Richard Feldman
3a9fe52e98
Merge branch 'trunk' into tooltip_inference_wiring 2021-04-21 07:53:26 -04:00
Richard Feldman
13719c6cf6
Merge pull request #1215 from rtfeldman/empty_record_tooltip
empty record tooltip
2021-04-21 07:53:01 -04:00
Anton-4
721ef6405d cleanup 2021-04-21 11:33:06 +02:00
Anton-4
6232e4716c connected tooltip rendering with constraints stuff 2021-04-20 19:39:10 +02:00
Anton-4
2c055c28f1 added comments for test helper functions 2021-04-20 11:58:16 +02:00
Anton-4
c3f22a6689 Merge branch 'trunk' of github.com:rtfeldman/roc into empty_record_tooltip 2021-04-20 11:39:09 +02:00
Anton-4
0703b2454b replaced String with PoolStr in SelectedExpression.type_str. Set up tooltip test for empty record. closes #1213 #1214 2021-04-20 11:38:17 +02:00