Seunghyeon Nam

We may need a new kind of exception (sth like `MisusedOptionException` but with better name) to represent such cases.

This PR adds a command-line option `--specify-output-dims`, which can be used to specify the dimension of dynamically-shaped function output. The function output type may be fully or partially dynamic, and...

Apparently `schedule` event trigger does not work on non-default branch, so this PR removes it. Also, this PR 'registers' the Heaan-Image Action by temporarilly creating a commit that contains `pull_request`...

* Split `encode.cpp` by dialects * Split libmlirtv into multiple libraries & revise build steps * Introduce c++20 modules?

Allow appending and then dropping the same number of elements from Stream

4

https://hackage.haskell.org/package/copilot-language-4.3/docs/Copilot-Language-Operators-Temporal.html#v:drop > The elements must be realizable at the present time to be able to drop elements. For most kinds of streams, you cannot drop elements without prepending an **equal...

`copilot-language` - Unable to drop as many elements from Stream as prepended

1

https://hackage.haskell.org/package/copilot-language-4.3/docs/Copilot-Language-Operators-Temporal.html#v:drop > The elements must be realizable at the present time to be able to drop elements. For most kinds of streams, you cannot drop elements without prepending an equal...