Commit graph

8642 commits

Author SHA1 Message Date
Chadtech
f7491cd9e9 Comply with clippy 2021-04-24 18:40:06 -04:00
Chadtech
09aad833d5 Do not show record type signature if it contains at least one private tag 2021-04-24 18:14:43 -04:00
Chadtech
6050776ff8 More while statements refactored to for loops 2021-04-24 18:14:31 -04:00
Chadtech
0a42a04765 Records in docs rendering 2021-04-24 18:06:41 -04:00
Chadtech
d5c729b817 For loop in tags rendering 2021-04-24 18:06:32 -04:00
Anton-4
276f8e2f34 partial SmallInt support 2021-04-24 20:11:54 +02:00
Brian J. Cardiff
2407ba0b07 Bump nixpkgs-unstable & adds libiconv 2021-04-24 13:30:50 -03:00
Anton-4
f245655f42 improved editor README 2021-04-24 11:58:37 +02:00
Anton-4
e91e21e4c7 added invalid input chars tip to editor 2021-04-24 11:03:45 +02:00
rvcas
0bd24ba4fd feat(editor/solve): enable Alias and TagUnion in type_to_variable 2021-04-23 23:17:18 -04:00
Lucas
540e57160a
Merge branch 'trunk' into constrain_expr2_small_int 2021-04-23 22:03:18 -04:00
rvcas
a562a772d1 feat(editor/solve): enable Let and And constraints 2021-04-23 22:02:33 -04:00
Richard Feldman
1691b96197
Merge pull request #1229 from rtfeldman/selection_end_backspace_tests
tests for caret move and backspace after ctrl+shift+up
2021-04-23 21:11:27 -04:00
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
Anton-4
e609bc4875 tests for caret move and backspace after ctrl+shift+up 2021-04-23 19:36:42 +02:00
rvcas
f6fddfe260 feat: add a test case and implement shallow clone for Type2 2021-04-23 12:29:20 -04:00
Folkert
2319b33794 use zig list/str type 2021-04-23 16:24:36 +02:00
rvcas
ab92789984 fix: clean redundant num_type using shallow_clone 2021-04-23 09:55:51 -04:00
rvcas
ff6c1b9c43 fix: use ShallowClone from pool 2021-04-23 09:47:42 -04: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
Lucas
2507274be5
Merge branch 'trunk' into constrain_expr2_small_int 2021-04-23 00:26:47 -04:00
rvcas
0a6dbccaee feat: bring in some of the builtins from constrain 2021-04-23 00:24:09 -04: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
rvcas
6571d829a1 fix: use bump for Constraint enum instead of pool 2021-04-22 21:32:47 -04:00
Lucas
e0052cb720
Merge branch 'trunk' into constrain_expr2_small_int 2021-04-22 21:29:02 -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