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
04e7a7eb4b
nac3artiq: support more exceptions
2022-03-17 15:03:22 +08:00
642e3b2bad
nac3core: moved all builtin errors to nac3artiq code
...
This remove the need for hard-coding those definition IDs.
2022-03-17 00:04:49 +08:00
e126fef012
nac3artiq: support more builtin errors
2022-03-16 23:42:08 +08:00
8fd868a673
update dependencies
2022-03-10 17:28:56 +08:00
94aac16cc5
nac3artiq: fixed RPC codegen for lists
2022-03-10 16:48:28 +08:00
2f85bb3837
nac3core: impl call attributes
...
sret for returning large structs, and byval for struct args in extern
function calls.
2022-03-09 22:09:36 +08:00
e266d3c2b0
nac3parser: modify to handle UAdd in front of int constant
2022-03-09 10:46:58 +08:00
60b3807ab3
nac3standalone: add test for abs function
2022-03-08 23:26:01 +08:00
5006028e2d
nac3core: abs builtin function
2022-03-08 23:23:36 +08:00
1cc276cb43
nac3standalone: add test for max function
2022-03-08 22:23:13 +08:00
8241a29908
nac3core: max builtin function
2022-03-08 22:22:00 +08:00
e9a17cf8f8
nac3standalone: add test for min function
2022-03-08 21:59:42 +08:00
adb5c69e67
nac3core: min builtin function
2022-03-08 21:59:37 +08:00
