David Mak derppening
0 Followers · 0 Following
  • Joined on 2023-08-31
Repositories Projects Packages Code Public Activity Starred Repositories
derppening pushed to feat/const-generics at M-Labs/nac3 2023-12-11 13:02:02 +08:00
3b38304838 artiq: Pass artiq builtins to NAC3 constructor
51b2eedce1 core: Add missing generic constant concrete type
d9b2baee5e core: Remove debugging statement
d46893c2e1 artiq: Rename const_generic_dummy to const_generic_marker
Compare 4 commits »
derppening created branch feat/const-generics in M-Labs/nac3 2023-12-11 13:02:02 +08:00
derppening commented on pull request M-Labs/nac3#360 2023-12-08 18:02:57 +08:00
Implement const-generics

v11: Rebased onto master, fixed an incorrect usage of unreachable!

derppening pushed to feat/const-generics at M-Labs/nac3 2023-12-08 18:02:24 +08:00
983f080ea7 artiq: Implement handling for const generic variables
031e660f18 core: Initial implementation for const generics
b6dfcfcc38 core: Move some SymbolValue functions to symbol_resolver.rs
c93ad152d7 core: Codegen for ellipsis expression as NotImplemented
68b97347b1 core: Infer builtins name list using builtin declaration list
Compare 6 commits »
derppening commented on pull request M-Labs/nac3#360 2023-12-08 18:00:23 +08:00
Implement const-generics

v10: Fixed missing _ConstGenericMarker changes

derppening pushed to feat/const-generics at M-Labs/nac3 2023-12-08 18:00:02 +08:00
20607934a6 artiq: Implement handling for const generic variables
abdd7ebd3c core: Initial implementation for const generics
Compare 2 commits »
derppening commented on pull request M-Labs/nac3#360 2023-12-08 17:58:33 +08:00
Implement const-generics

When we implement module support, we will probably have to refactor this entire logic anyways, because none, Option and virtual are all obtained this way. I assume we will do something like…

derppening commented on pull request M-Labs/nac3#360 2023-12-08 16:02:15 +08:00
Implement const-generics

v8, v9: Split unrelated changes to other MRs, renamed _ConstGenericDummy to _ConstGenericMarker.

derppening commented on pull request M-Labs/nac3#360 2023-12-08 16:01:36 +08:00
Implement const-generics

Split this and the builtin-list changes into #361 and #362.

derppening commented on pull request M-Labs/nac3#360 2023-12-08 16:01:01 +08:00
Implement const-generics

Was a leftover change from before, removed.

derppening pushed to feat/const-generics at M-Labs/nac3 2023-12-08 16:00:45 +08:00
390b7cc5f4 artiq: Implement handling for const generic variables
d12e886bb8 core: Initial implementation for const generics
Compare 2 commits »
derppening pushed to feat/const-generics at M-Labs/nac3 2023-12-08 15:59:58 +08:00
6e26c3abb7 artiq: Implement handling for const generic variables
3420d8d86c core: Initial implementation for const generics
7088a2f3d5 core: Move some SymbolValue functions to symbol_resolver.rs
c17575199a core: Codegen for ellipsis expression as NotImplemented
Compare 4 commits »
derppening created pull request M-Labs/nac3#362 2023-12-08 15:56:07 +08:00
Simplify get_builtins to only return top-level built-in declarations
derppening pushed to enhance/infer-builtins-list at M-Labs/nac3 2023-12-08 15:51:46 +08:00
075ea32412 core: Infer builtins name list using builtin declaration list
derppening created branch enhance/infer-builtins-list in M-Labs/nac3 2023-12-08 15:51:46 +08:00
derppening created pull request M-Labs/nac3#361 2023-12-08 15:50:14 +08:00
Use {filename}:{row}:{col} for location output
derppening pushed to enhance/change-loc-format at M-Labs/nac3 2023-12-08 15:49:04 +08:00
875d534de4 ast: Use `{filename}:{row}:{col}` for location output
derppening created branch enhance/change-loc-format in M-Labs/nac3 2023-12-08 15:49:03 +08:00
derppening commented on pull request M-Labs/nac3#360 2023-12-08 14:17:39 +08:00
Implement const-generics

The intention is that _ConstGenericDummy is from the ARTIQ library and used as a marker that the TypeVar is to be treated as a const generic variable.

derppening commented on pull request M-Labs/nac3#360 2023-12-08 13:05:09 +08:00
Implement const-generics

v7: Fixed some cases where codegen fails for ellipsis due to extraneous/missing terminators, removed all references to NonTypeVar