Commit Graph

1144 Commits

Author SHA1 Message Date
0d2b844a2e nac3artiq: avoid getting tuple as pointer value 2022-03-27 10:31:20 +08:00
8d7e300a4a nac3core: do not use const struct for tuple 2022-03-27 10:13:17 +08:00
10d623e36f nac3core/artiq: fix tuple representation 2022-03-27 07:47:14 +08:00
000b128551 nac3artiq: cast none to correct ptr type (#241) 2022-03-26 23:32:50 +08:00
e4581a6d9b nac3standalone/demo: fix return type in loop.py 2022-03-26 21:10:12 +08:00
1a82d296e7 nac3core/codegen: prevent users from modifying loop counter
Fixes #211
2022-03-26 20:58:37 +08:00
bf067e2481 nac3artiq: implement attribute writeback
We will only writeback attributes that are supported by the current RPC
implementation: primitives, tuple and lists of lists... of primitives.
2022-03-26 20:13:58 +08:00
ba8ed6c663 nac3artiq: handle recursive types properly 2022-03-26 18:54:21 +08:00
26a4834254 fix warnings 2022-03-26 18:52:08 +08:00
1ad4b0227c windows: fix src location 2022-03-26 15:46:21 +08:00
6288a66dc5 windows: fix cargo lockfile location 2022-03-26 15:23:31 +08:00
de4320eefb improve package names 2022-03-26 15:15:59 +08:00
a380cd5010 move all Nix files to one folder 2022-03-26 15:13:43 +08:00
80631fc92b Option type support (#224)
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2022-03-26 15:09:15 +08:00
55db05fdbb update dependencies 2022-03-24 22:30:15 +08:00
24a26b53ae nac3core/toplevel: fixed broken tests
We should not include class type variables in functions type variables.
2022-03-24 21:33:09 +08:00
1084ba2158 nac3core: fixed typevar with finite range
1. Function type variables should not include class type variables,
   because they are not bound to the function.
2. Defer type variable constraint evaluation until we get all fields
   definition.
2022-03-24 21:31:51 +08:00
be75fa7368 nac3core: fix assign to constant 2022-03-24 07:13:13 +08:00
ec52128a4a indentation 2022-03-23 10:45:28 +08:00
b10b49e39a windows: run cargo tests 2022-03-23 09:53:45 +08:00
d92ce201d3 runkernel: fix windows build 2022-03-23 09:32:58 +08:00
8b485f552b windows: set PYO3_CONFIG_FILE, use exec in wine-msys2 2022-03-23 09:22:33 +08:00
d9be8d3978 nac3core/typecheck/unification_table: fixed snapshot restore bug
Closes 229
2022-03-23 00:25:10 +08:00
41d62f7325 nac3core/toplevel: fixed typevar substitution bug 2022-03-23 00:25:10 +08:00
4400d9b57d windows: attempt to disable libffi further 2022-03-22 22:52:53 +08:00
8ee5db7462 Revert "windows: numpy is not necessary for build"
...but it is nice to have in the development shell.

This reverts commit 1114d11b34.
2022-03-22 22:15:18 +08:00
6d9b3abcd7 nicer MSYS2 development shell 2022-03-22 22:14:46 +08:00
f11a0776e7 README: fix build name 2022-03-22 22:12:23 +08:00
f2dc03dfa1 windows: finalize nac3artiq packaging 2022-03-22 19:58:31 +08:00
1c807ebe08 windows: use Z: consistently for Nix store paths 2022-03-22 19:43:31 +08:00
9e0b5187dd windows: make LLVM accessible to nac3artiq 2022-03-22 19:40:40 +08:00
1887a337ff windows: attempt to fix 'encodings' python errors 2022-03-22 19:38:32 +08:00
03f5b80153 windows: add nac3artiq derivation (WIP) 2022-03-22 19:19:06 +08:00
1114d11b34 windows: numpy is not necessary for build 2022-03-22 19:05:58 +08:00
a7a188da76 windows: work around -DLLVM_BUILD_TOOLS=OFF not disabling llvm-lto 2022-03-22 18:35:06 +08:00
eb6ceefdcd build LLVM with Wine + MSYS2 2022-03-22 18:03:25 +08:00
9332d1643c irrt: normalize end-of-line characters. Closes #231 2022-03-22 16:04:48 +08:00
718b076e50 irrt: use __builtin_alloca 2022-03-22 15:41:25 +08:00
9d86b46e86 nac3core: add DEBUG_DUMP_IRRT 2022-03-22 15:39:15 +08:00
263bc82434 nac3artiq: remove debug print 2022-03-21 04:23:40 +08:00
3f890f183c nac3standalone/demo: handle imports consistently 2022-03-19 09:14:27 +08:00
234823c51a nac3standalone: added typevar test 2022-03-18 16:52:52 +08:00
b97c016629 nac3core: fixed test breakage 2022-03-18 16:52:28 +08:00
14a5c7981e Revert "Revert "update dependencies""
This reverts commit 93af337ed3.
2022-03-18 08:06:13 +08:00
35ac5cb6f6 nac3core: fixed typevar bug 2022-03-18 01:07:44 +08:00
93af337ed3 Revert "update dependencies"
This reverts commit 9ccdc0180d.
2022-03-17 21:53:58 +08:00
0ca2797428 fix compilation warning 2022-03-17 21:31:45 +08:00
9ccdc0180d update dependencies 2022-03-17 21:18:07 +08:00
c5993c2a58 composer: improve class field typevar error message 2022-03-17 21:04:42 +08:00
fb8553311c nac3artiq: remove accidentally added print 2022-03-17 15:13:00 +08:00