Freddy Cubas
Freddy Cubas
just make a --print flag
Well, you can only build MicroHs with Hugs in the `hugs` branch, so these files are useless in the master branch. I figured it would make more sense to only...
There's a partial blocker for me. The current `hugs` branch (4a85b7204627f3ad76d463fe383259821eec755b) doesn't build on my machine, but the commit I specified e43e3cf30499e34da167384e8f26410e95e42648 works fine.
> Does it crash with an overflow message? My Hugs patch fixes that. I can build with the current hugs branch using that patch. There is UB somewhere in Hugs....
Okay, I'll take your word for it. I updated the commit to point to the current hugs branch's hash.
Okay, I can confirm the patched version of Hugs allows it to build on my (linux) machine.
> Is there a smart way to do it-- that you know of? I don't maintain any VSCode extensions. I'm completely unaware of any tools to help. > Any reason...