ychenfo

ychenfo created pull request M-Labs/nac3#237

2022-03-24 07:17:33 +08:00

nac3core: fix assign to constant

ychenfo created branch assign_to_const in M-Labs/nac3

2022-03-24 07:14:03 +08:00

ychenfo pushed to assign_to_const at M-Labs/nac3

2022-03-24 07:14:03 +08:00

be75fa7368 nac3core: fix assign to constant

ychenfo pushed to option at M-Labs/nac3

2022-03-24 06:45:07 +08:00

4db68a201f nac3standalone: add tests for option

508f6ea2d2 nac3core/artiq: use none instead of None

ddb8dffa5b nac3artiq/core: host option object support

fcd9d99873 nac3core: option type codegen support

d0a3611032 nac3core: remove previous handling of None

Compare 11 commits »

ychenfo deleted branch origin from M-Labs/nac3

2022-03-24 06:40:23 +08:00

ychenfo pushed to origin at M-Labs/nac3

2022-03-24 06:39:47 +08:00

45ca9a76d6 nac3standalone: add tests for option

f9cdcb0a2b nac3core/artiq: use none instead of None

Compare 2 commits »

ychenfo created branch origin in M-Labs/nac3

2022-03-24 06:39:46 +08:00

ychenfo commented on issue M-Labs/nac3#225

2022-03-23 05:17:52 +08:00

LLVM ERROR: Type mismatch in constant table!

Although not fully clear the cause of the problem.. this seems to be fixed under the lastest commit d9be8d3978

ychenfo pushed to option at M-Labs/nac3

2022-03-23 05:14:05 +08:00

6e4b507d92 nac3core/artiq: use none instead of None

be66225665 nac3artiq/core: host option object support

Compare 2 commits »

ychenfo created pull request M-Labs/nac3#236

2022-03-23 03:51:09 +08:00

nac3artiq: handle recursive types properly

ychenfo pushed to option at M-Labs/nac3

2022-03-23 03:50:29 +08:00

66204cde5a nac3artiq/core: host option object support

c9a9e5663a nac3core: option type codegen support

071459b96e nac3core: remove previous handling of None

09fddc0206 nac3core: fix broken tests

515f6787bb nac3core: option type front end

Compare 22 commits »

ychenfo created branch recursive_host_type in M-Labs/nac3

2022-03-23 03:38:54 +08:00

ychenfo pushed to recursive_host_type at M-Labs/nac3

2022-03-23 03:38:54 +08:00

862af24dfd nac3artiq: handle recursive types properly

ychenfo commented on issue M-Labs/nac3#228

2022-03-22 05:49:26 +08:00

wrong "Incompatible types" error with generic classes

There should still be some deeper bugs since this patch only non-deterministically fix the bug (other times fails with another bug `thread '' panicked at 'internal error: entered unreachable…

ychenfo commented on issue M-Labs/nac3#227

2022-03-22 05:34:03 +08:00

application of type vars to generic class is not currently supported

I am not sure why is there such a restriction. And what is application of typevar to generic class? Do you mean anything like C[T] where T = TypeVar(...) is not supported?

Yes, I think this is…

ychenfo commented on pull request M-Labs/nac3#224

2022-03-22 05:32:14 +08:00

Option type support

During the process of add tests found this problem that it would be hard to patch a builtin class/object (for the use of a = None; a.is_some()) unless using something like…

ychenfo commented on pull request M-Labs/nac3#224

2022-03-22 05:25:22 +08:00

Option type support

Thanks for pointing this out! I have force pushed to update the __str__ and __repr__, remove the recursion check and use _nac3_option

ychenfo pushed to option at M-Labs/nac3

2022-03-22 05:23:58 +08:00

7db5909f62 nac3artiq/core: host option object support

ychenfo commented on pull request M-Labs/nac3#224

2022-03-21 04:44:57 +08:00

Option type support

comment added

ychenfo commented on pull request M-Labs/nac3#224

2022-03-21 04:44:01 +08:00

Option type support

updated comment to be None should be already handled above