~dannypsnl/violet

95e36621 — Lîm Tsú-thuàn a month ago main
update toolchain

Signed-off-by: Lîm Tsú-thuàn <inbox@dannypsnl.me>
99c787b3 — Lîm Tsú-thuàn a month ago
update manifest

Signed-off-by: Lîm Tsú-thuàn <inbox@dannypsnl.me>
give complete name

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@protonmail.com>
d7c77bb8 — Lîm Tsú-thuàn 3 months ago
use exact version in lean-toolchain

As a final product, I think we should stick on a specialized version, so
the potential mismatched problem can be eliminated. As opposite, in
library we can use `stable` tag.

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
a1b3cce5 — Lîm Tsú-thuàn 3 months ago
minimal open command

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
2b8840b3 — Lîm Tsú-thuàn 3 months ago
add `CmdM.liftIO` to reduce repeated conversion code

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
d6a6d4fe — Lîm Tsú-thuàn 3 months ago
using `EIO Exception` to replace `IO` now

adapt `ProgramM` to `CmdM`, lifts from `IO` and `ExceptT` for now, in
the end we should able to lift `ElabError`.

Another missing part is reporting more argument parsing error and print
help message for users' `--help`

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
4c536f04 — Lîm Tsú-thuàn 3 months ago
CLI parsing init

Squashed commit of the following:

commit b1ecf9450f50b023c74affc5d05d1081aef8810d
Author: Lîm Tsú-thuàn <dannypsnl@tuta.io>
Date:   Fri Oct 27 23:55:01 2023 +0800

    now out frame is complete

    Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>

commit 846514ab6c2a69efd23b7de50f5dd40bf6d94e65
Author: Lîm Tsú-thuàn <dannypsnl@tuta.io>
Date:   Fri Oct 27 23:17:12 2023 +0800

    first draft to parse options

    Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
bb0ef508 — Lîm Tsú-thuàn 4 months ago
add proper handling for missing case

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
Support record term syntax
d081e3a8 — Lîm Tsú-thuàn 4 months ago
update dependencies lock

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
0f754a37 — Lîm Tsú-thuàn 4 months ago
add sourcehut build status

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
e333b1b6 — Lîm Tsú-thuàn 4 months ago
remove github ci status

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
9d4130fa — Lîm Tsú-thuàn 4 months ago
update gitignore to fit project status

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>
30374636 — Lîm Tsú-thuàn 4 months ago
add sourcehut CI

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>
2948df80 — Lîm Tsú-thuàn 4 months ago
lake update

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>
0ae8ccf7 — Lîm Tsú-thuàn 4 months ago
update related test code

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>
32cf0433 — Lîm Tsú-thuàn 4 months ago
fix projection for n-tuples

With an internal encoding about projection, now we can distinct if a
projection is generated internally (via elaborator) or written by users.
And with the distinction, we are able to create intended projection.

This resolves #14 (fix projection `.1`)

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>
a7688526 — Lîm Tsú-thuàn 5 months ago
complete projection `N`

commit 74ce8a64207ce31bb69639ac8145a0053dab590d
Author: Lîm Tsú-thuàn <dannypsnl@gmail.com>
Date:   Sat Sep 23 09:02:42 2023 +0800

    test nested projection

    Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>

commit 0b423cf5023fefa4aa956f5671be1ac7c15af4af
Author: Lîm Tsú-thuàn <dannypsnl@gmail.com>
Date:   Sat Sep 23 08:54:39 2023 +0800

    desugar project `N`

    And hence, now we accept `(a, (b, c)).2` as `c`. The only problem we
    having now is we get `(b, c)` for `(a, (b, c)).1`, this is not expected
    situation.

    Does this means we need a *real* multiple tuple?

    Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>
2607c549 — Lîm Tsú-thuàn 5 months ago
update the date in LICENSE

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>
Next