Commit Graph

104 Commits (e08e9ccdf233188a00e156f858bff9fb0c94fefc)

Author SHA1 Message Date
NotAFile e08e9ccdf2 fix rtlil const formatting 2022-04-06 00:09:12 +02:00
NotAFile 83540e898a clippy fix 2022-04-05 23:35:30 +02:00
NotAFile a2cca95dbd rework typed_ir to have flat expressions 2022-04-05 23:31:20 +02:00
NotAFile b71f9f09ae rename typed_ir::Block to Body 2022-04-05 16:42:30 +02:00
NotAFile 5dca566cca split up frontend file 2022-04-05 16:08:10 +02:00
NotAFile 86e3bf4d32 add adts to type system 2022-04-05 15:11:26 +02:00
NotAFile c0be718bbc parse struct initialization 2022-04-05 14:52:56 +02:00
NotAFile b6c6a23ca5 parse struct blocks 2022-04-05 14:40:47 +02:00
NotAFile 2dd99ae641 add parsing for expression blocks 2022-04-05 14:14:49 +02:00
NotAFile da0d1dd6d8 clippy fix 2022-04-05 13:37:53 +02:00
NotAFile 95b64a324a small cleanups 2022-04-05 13:34:48 +02:00
NotAFile b848d5d3ea add comments to lexer 2022-04-05 00:03:48 +02:00
NotAFile 0307d0537c add match lowering 2022-04-05 00:03:05 +02:00
NotAFile da5258a11a add match blocks and constant literals 2022-04-04 21:40:08 +02:00
NotAFile 68be74d032 make multiple blocks in one file work 2022-02-23 23:36:01 +01:00
NotAFile 8c16a94be4 implement type inference for literals 2022-02-23 22:02:45 +01:00
NotAFile f03c777e28 fixup rtlil identifiers 2022-02-21 13:04:05 +01:00
NotAFile 1de0846f96 fix rtlil generation 2022-02-20 22:44:58 +01:00
NotAFile c0f6b5c4be make type inference work-ish 2022-02-20 20:12:50 +01:00
NotAFile cce8a3bde4 add type comparison function 2022-02-20 18:26:14 +01:00
NotAFile b890c0594d add first steps toward generic type inference 2022-02-20 17:49:28 +01:00
NotAFile 270713b3f9 more typechecking af callables 2022-02-18 12:59:53 +01:00
NotAFile cf1a5c1c3b add back function type resolving 2022-02-16 22:17:25 +01:00
NotAFile 3f08a838d2 switch callable to interning too 2022-02-16 17:38:56 +01:00
NotAFile 853021e4f8 add simple const generic eval 2022-02-16 16:37:12 +01:00
NotAFile 0daa49874e add pretty printing for typed IR 2022-02-15 23:56:52 +01:00
NotAFile faa7a06aa2 add labels to todos 2022-02-15 21:44:10 +01:00
NotAFile 5ac51f8c5f clippy fix 2022-02-15 21:41:01 +01:00
NotAFile 6148c599b8 start interning types 2022-02-15 21:32:55 +01:00
NotAFile 805acee3c5 move lowering code 2022-02-06 23:19:55 +01:00
NotAFile 83bb8d9292 add preliminary type lookup 2022-02-06 21:02:55 +01:00
NotAFile dfc74b4b24 fix quadratic parsing of expression 2022-02-06 18:39:07 +01:00
NotAFile a69c6ab0b3 get examples semi-working again 2022-02-05 00:58:47 +01:00
NotAFile fd3a553072 clippy fix 2022-02-03 21:49:44 +01:00
NotAFile d36991a0b6 remove broken tests 2022-02-03 21:48:20 +01:00
NotAFile faf92307e2 start implementing state adt 2022-02-03 01:55:12 +01:00
NotAFile c1dc524cab clippy fix 2022-02-03 00:55:40 +01:00
NotAFile aadf044f9d prepare for removing module syntax 2022-02-03 00:54:50 +01:00
NotAFile dfae432055 clippy fix 2022-02-03 00:08:45 +01:00
NotAFile 01fa26742e remove greedyerror 2022-02-03 00:06:30 +01:00
NotAFile e1f64548b4 add custom error type 2022-02-03 00:05:10 +01:00
NotAFile 73580c4ff0 move parser to mod.rs 2022-02-02 01:42:17 +01:00
NotAFile a2411244f4 move rest of parser 2022-02-02 01:41:19 +01:00
NotAFile e7d881d9ed move expressions to file 2022-02-02 01:31:59 +01:00
NotAFile b428a6d340 make examples parse with new parser 2022-02-02 01:13:33 +01:00
NotAFile 1798baa9d3 clippy fix 2022-02-02 01:03:03 +01:00
NotAFile 825703e1ce switch parser to using tokens 2022-02-02 01:00:11 +01:00
NotAFile 108297b966 cargo fmt 2022-02-01 23:24:07 +01:00
NotAFile daa4da8037 add tokenizer for new parser 2022-02-01 23:14:11 +01:00
NotAFile cec4f5fb8d add nom error handling 2022-02-01 23:11:59 +01:00