Alain Zscheile
|
312e9e2d79
|
haskell: some type-checking, kinda...
|
2023-10-28 00:17:26 +02:00 |
|
Alain Zscheile
|
c2006152f5
|
haskell: add stuff for references and a hack for quote
|
2023-10-27 21:59:40 +02:00 |
|
Alain Zscheile
|
f3d3ed3e7f
|
haskell/nfker7h: basic AST stuff
|
2023-10-27 19:30:52 +02:00 |
|
Alain Zscheile
|
c2df05f568
|
haskell: add Parser.List.takeWhile
|
2023-10-27 16:03:06 +02:00 |
|
Alain Zscheile
|
cf0092b5ca
|
haskell: split out core library
|
2023-10-26 13:31:38 +02:00 |
|
Alain Zscheile
|
c0ccf3d05b
|
haskell: use Semigroup in ParserError
|
2023-10-26 12:41:08 +02:00 |
|
Alain Zscheile
|
ac71ebd9b9
|
haskell: split generic parser into generic and bytestring-specific parts
|
2023-10-26 01:18:03 +02:00 |
|
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 |
|