@Dennis: language suggestion: Z3 (there might be a prebuilt package for the OS). The language has multiple syntaxes, so I suggest naming it "Z3 (SMT2)"; you run programs with z3 -smt2 file.z3. Hello World is (echo "Hello, World!").

it's probably kind-of terrible for writing full programs (but who knows, it might be possible to do something interesting), but should work just fine for writing functions; and it's somewhat verbose but that's no reason not to add it

@DJMcMayhem Yes, I can enable the "command-line options" field for V, like I do for Python, e.g.

How did options work before? I don't want to break old permalinks.

@ais523 I already have Z3, because some other language requires it. tio.run/##S0oszvj/…

I wonder if we should fix it at SMT2 though or just leave that up to the user...

@cairdcoinheringaahing Done.

well, all the tutorials I can find use SMT2

perhaps SMT2 is the language and Z3 is the interpreter?

actually, if Z3 accepts this with no syntax option

maybe we just let the syntax be a compiler flag

It doesn't work with the other flags; SMT2 appears to be the default.

@ais523 tio.run/#z3

thanks!

@Dennis The old V could only (usefully for TIO) recognize the -v or --verbose flag and didn't much care where it went: after or before the other arguments and the file.

From my understanding of getopts and the way it's being used in new V, here, not caring about argument order remains the case and options and arguments should remain unified.

I also notice a lack of case for -x which might be an oversight or it might be being processed somewhere else

Everything should just keep working then.

@Dennis Oh fantastic, that's an even better solution

Just a minute

@Dennis So the way it worked before was that everything was in "args" and anything that was considered a valid flag was treated as an option. So... I don't think it's possible to switch it to using options and args without breaking some perma links

It's worth noting that I'm removing some options (like -w) so a few permalinks would break anyway

Not sure what to do with that

@DJMcMayhem Was -w actually a useful operation on TIO though?

@Pavel Sorry, wrong one. That wasn't used on Tio to my knowledge. I meant -s will break some (although both -s and -w are being removed)

given the output comes all at once on TIO I fail to see how -s is useful either

It fixed some strange race conditions (that should be fixed by the rework)

@Dennis Thanks!

CSC : warning CS8012: Referenced assembly 'Microsoft.Z3, Version=4.4.1.0, Culture=neutral, PublicKeyToken=null' targets a different processor. [/home/pavel/git/cs-mono/TIO-CS.csproj]

Oh boy here I go building Z3

Oh! Nevermind then. Turns out it's able to pick up z3.so from /usr/lib if the included z3.dll doesn't work

The bigger issue is that I now get to build F# from source since I can only find source packages for my distro...

@DJMcMayhem How common were those flags? Would it be possible to ignore those (and maybe show a deprecation warning), rather than refusing to run?

@Dennis That's a great idea for -s at the very least

But I still don't really know how it would be possible to enable "options" and not break old links.

@DJMcMayhem Does new V actually care if options come before or after the filename

Yes

Because I'm really bad at bash, and I couldn't figure out how to make optargs work otherwise

OK, I have it figured out. The new way to invoke it will be v source [OPTIONS] [ARGS]

It still needs a bit of work though

I accidentally deleted all my work in making the -x flag work ಠ_ಠ

@Dennis Please update cs-mono

Also if we could get a dnf upgrade for mono that'd be great too since it looks like it ships a C# 8 compiler now

@DJMcMayhem Thank god for git reflog

@DJMcMayhem You need getopt in your life. tio.run/…

Or while loop with shift. Probably easier.

Yeah, shift is the answer

@Dennis OK, it should be ready now. Can you pull and have TIO use v source -f input -x [ARGS]? (Args will work like before where valid ones are treated as options and the rest or anything after -- is an arg)

v is now just a bash file

In a perfect world, I'd like it to be called with v source -f input -x [options] -- [args], but that'll break a lot of permalinks

I'm trying to add a package for cs-mono, decided to update packages, msbuild stopped working, and now I can't go back without everything catching fire.

At least I got the Z3 .NET bindings pushed

tio.run/##S0/MLyko@P8/KScVCZQoIPFL/v93BAA I'm pretty sure input is broken in Gaot++, this should take the first character of input and output it's ascii value, but instead it raises an error

even though it works perfectly fine on jsfiddle.net/kc_kennylau/nbda5va6

@EdgyNerd That's because it expects input from a terminal, which TIO isn't

I personally find it funnier that no one's tried supplying input before

(@Dennis)

I'm surprised somebody uses Gaot++ at all...

And now I get to fix the language I didn't want to add in the first place. ;)

@Pavel mono-core is currently broken. That might have to wait for the Fedora 30 update. :(

Dang

Oh wow, I'm surprised that Gaot++ got asked like 5 times to be added

At most two of those were serious

@Dennis When you do pull cs-mono please run this to check that it's working and if it's not linking /usr/lib64/libz3.so.0 to libz3.so might fix it

Er

Wrong link

tio.run/…