Commit graph

67 commits

Author SHA1 Message Date
Alain Zscheile
926176eafd haskell: use Numeric.Natural (we know that our numbers are unsiged) 2023-10-26 00:44:52 +02:00
Alain Zscheile
65f2f50a9b haskell: parse Integers 2023-10-26 00:08:20 +02:00
Alain Zscheile
87a72c019f haskell: tryOne should actually backtrack on failure 2023-10-25 22:36:35 +02:00
Alain Zscheile
9b6229f9fd haskell: merge lookup of symbols and identifier prefixes 2023-10-25 22:18:47 +02:00
Alain Zscheile
31c6f1a717 haskell: streamline some stuff 2023-10-25 21:43:18 +02:00
Alain Zscheile
b1531384ef get rid of eitherToParser 2023-10-25 21:06:40 +02:00
Alain Zscheile
48257099de haskell: make error handling in the Parser monad easier 2023-10-25 21:03:35 +02:00
Alain Zscheile
41db2b8139 haskell: handle unicode decoding errors properly 2023-10-25 20:28:55 +02:00
Alain Zscheile
9785fdd5f4 fix identifier corruption during formatting 2023-10-25 16:33:14 +02:00
Alain Zscheile
ce9e5ee3cd improve identifying re-encoding... 2023-10-25 16:28:46 +02:00
Alain Zscheile
068538e0b8 fix comment parsing and somewhat ident printing 2023-10-25 16:10:15 +02:00
Alain Zscheile
1aca8abb46 haskell: lexer compiles 2023-10-25 15:38:55 +02:00
Alain Zscheile
92333d0710 haskell: make boilerplate more usable 2023-10-25 13:06:35 +02:00
Alain Zscheile
356628c959 haskell: some docs and other misc improvements 2023-10-25 12:35:07 +02:00
Alain Zscheile
5c1445df99 haskell: move stuff into the generic lib 2023-10-24 22:40:27 +02:00
Alain Zscheile
90bb033e19 haskell: more parsing 2023-10-24 22:21:23 +02:00
Alain Zscheile
8942de9c81 rust/qwlum2s: yet another rust variant 2023-10-24 22:08:57 +02:00
Alain Zscheile
093d7dcb0b the haskell stuff makes some progress (parsing of identifiers) 2023-10-24 22:08:10 +02:00
Alain Zscheile
e21bb48b63 haskell: some abstractions compile 2023-10-24 15:22:59 +02:00
Alain Zscheile
0391cbcfab haskell: WIP 2023-10-24 11:25:25 +02:00
Alain Zscheile
2a7f16c99e rust/mrwy57u: proper selection 2023-10-24 00:02:27 +02:00
Alain Zscheile
3d35fa98ae mrwy57u: some more 2023-10-16 04:39:22 +02:00
Alain Zscheile
1a64b640d6 mrwy57u: put agnostic parser code into separate crate 2023-10-16 00:45:28 +02:00
Alain Zscheile
e58822212e mrwy57u: some module stuff 2023-10-16 00:40:26 +02:00
Alain Zscheile
872ee5e470 mrwy57u: improve some stuff; records 2023-10-15 18:57:41 +02:00
Alain Zscheile
2d228d1310 mrwy57u/lex: +String literals 2023-10-15 01:10:05 +02:00
Alain Zscheile
3e393500f9 more ynm stuff (mostly lexer) 2023-10-14 23:05:39 +02:00
Alain Zscheile
286e98a93d +mrwy57u 2023-10-14 16:59:16 +02:00
Alain Zscheile
7b93c98dae more stuff in C 2023-10-02 00:17:09 +02:00
Alain Zscheile
a3a4d3add4 some c stuff 2023-10-01 22:47:28 +02:00
Alain Zscheile
a44cdf2a76 move rust stuff into /rust 2023-10-01 20:58:07 +02:00
Alain Zscheile
d4beea95ae repr_infer: fix some bugs 2023-10-01 20:57:13 +02:00
Alain Zscheile
f4b1e3195e add repr inference 2023-10-01 15:08:29 +02:00
Alain Zscheile
0c529d109c introduce more base types 2023-10-01 13:53:21 +02:00
Alain Zscheile
c0132642a8 cargo upgrade 2023-09-28 13:16:19 +02:00
Alain Zscheile
6a0a341476 add some repr literals 2023-09-27 18:14:44 +02:00
Alain Zscheile
23b0305f30 support _type_.repr expression 2023-09-27 17:21:15 +02:00
Alain Zscheile
257d129ca6 add type for runtime reprs 2023-09-26 15:44:56 +02:00
Alain Zscheile
ae6e8adaaa +integer support 2023-09-26 15:37:02 +02:00
Alain Zscheile
29f459fb2c properly format EvEqSourceSpan 2023-09-26 15:27:43 +02:00
Alain Zscheile
5f59c109be cargo clippy 2023-09-26 15:22:47 +02:00
Alain Zscheile
48e02e1f4e proper type_infer for lambdas 2023-09-26 15:15:29 +02:00
Alain Zscheile
7efbbcf656 +yn-qgy4hbz-run (CLI for parser + typeck) 2023-09-26 15:08:35 +02:00
Alain Zscheile
60beb163eb implement rudimentary type_check 2023-09-26 14:58:42 +02:00
Alain Zscheile
1a5be135e5 cargo fmt 2023-09-26 14:39:09 +02:00
Alain Zscheile
2eb643347d do proper type checking diverge error reporting 2023-09-26 14:38:50 +02:00
Alain Zscheile
3840db5c9e use record methods instead of re-rolling 2023-09-26 14:25:21 +02:00
Alain Zscheile
a904aaef15 put Expr into separate file 2023-09-26 14:20:35 +02:00
Alain Zscheile
29cf140d27 +Subst trait 2023-09-26 14:17:24 +02:00
Alain Zscheile
5e776b963d put record stuff into separate file 2023-09-26 14:12:43 +02:00