Robin

Results 374 comments of Robin

I'll re-open this issue, so it's more visible to other people curious about the status of the project.

> And then we need a good and efficient interface for the `World` trait. As I'm still getting to know the ins and outs of Typst. Is the `World` trait...

Hmm, it seems that no checks are made for the treasure theme in CheckThemeReqs, as such, this is just strange code, but not strictly a BUG per say.

Hi @dequeb, Here's an example to get you started. It's not identical, but showcases how to get external global variables and add parameter attributes to the LLVM IR. In general,...

> I'll copy my question from discord: > > > Does it need to be a separate method? Can't display just take an optional parameter? `display(at: there)` A follow-up PR...

@rishavs thanks for adding the tracking issue for LLVM 16.0. We'll see who gets first to adding support for 15 and 16 to `llir/llvm`. Neither @dannypsnl nor I have had...

Example PDF containing optional content groups: [temporal_expression_of_transcription_factors.pdf](https://github.com/user-attachments/files/23016901/temporal_expression_of_transcription_factors.pdf), which generates the following warning: ``` warning: PDF contains optional content groups ┌─ sections/appendices/motor_neuron_development.typ:27:3 │ 27 │ image("/inc/temporal_expression_of_transcription_factors.pdf"), │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ │ = hint:...

> Idea: make a special "path literal" type p"path/to/file" which is translated by the parser to path("⟨file containing the literal⟩/path/to/file"), unless it's absolute path. > > It's a breaking change...

> In Nix (the language) the [syntax is ./path.typ or /path.typ](https://nix.dev/manual/nix/2.28/language/syntax#path-literal) and it's both convenient and intuitive. It's the most ergonomic path handling I've ever used in a programming language....

I tried on the latest revision of Yaegi (da27c4fbc25f1023295585b8c818e3b34e6149b9) and the import of `golang.org/x/sys/unix` is still failing. The error message has changed though. Now Yaegi fails with error "incomplete type...