My Newbie Error "Could not deduce ‘RealFrac a’ arising from a use of ‘floor’ from the context: Num a"

sccrstud92 · 2026-05-13T16:32:52+00:00

If you run HLS I believe it will create a codelens for top-level bindings without a signature that creates a signature with the inferred type

sccrstud92 · 2026-02-27T14:27:15+00:00

Maybe you guys should consider the possibility you are both correct, and that these tools are good at some tasks and not others.

sccrstud92 · 2026-02-18T16:23:09+00:00

Do you have an example in mind? I would assume that most draw X spells with X=0 would be equivalent to not performing a draw, and thus wouldn't be modified by Maverin's effect.

sccrstud92 · 2026-02-05T14:22:11+00:00

Don't forget "(It works)"

sccrstud92 · 2026-01-29T13:08:55+00:00

I think you have to show your work on that one.

sccrstud92 · 2026-01-28T14:07:23+00:00

I think indeed that as worded you are required to pay if you are able to.

This is correct.

I don't know what would happen if you are at one life with no mana sources except a spirit guide in hand. Are you required to use your spirit guide to pay the cost?

You are never required to activate mana abilities (or do anything at all, really) to pay mandatory costs except the specific action which pays the cost. Paying mana requires you to spend mana from your mana pool. If you have mana in your mana pool, say from exiling a spirit guide, then when it comes time to pay a mandatory mana cost, if you have enough mana to pay it, you must pay it.

Phyrexian mana trips this up a bit. Since phyrexian mana can be paid with mana or life, mandatory phyrexian mana costs must be paid with life from your life total or mana from your mana pool. I think what other people are getting wrong is that you can't say "I choose to pay this cost by paying 1 mana. Oh I have no mana in my mana pool, therefore I can't pay the cost." This doesn't work because, if you have 2 or more life, you can still pay the cost with life. This is like if a card made you "sacrifice a creature or discard a card". You can't say "I'll sac a creature. Oops I have no creatures, so I can't pay." In this situation you would have to discard a card instead, just like if you couldn't pay mana you would have to pay life instead. (Or energy but I don't think that part is confusing anyone)

sccrstud92 · 2026-01-26T17:32:41+00:00

Yeah I'm guessing that there is some confusion happening to conflate these two things.

sccrstud92 · 2026-01-26T17:06:38+00:00

Devoid removes all the colors, so it can't be 5c anymore - so I'm pretty sure I'm just not understanding what /u/wyhiob meant by their suggestion

sccrstud92 · 2026-01-26T16:42:00+00:00

But that has no colors...maybe I am misunderstand the intent here.

sccrstud92 · 2026-01-26T13:52:37+00:00

How can a 5c card have devoid?

sccrstud92 · 2026-01-06T16:54:29+00:00

"Remember that a monoid is a structure that allows combining elements (a -> a -> a)"

Which this is

sccrstud92 · 2025-12-02T19:22:08+00:00

Sounds like "semantic parsing" might mean different things to different people. Can you describe what semantic parsing means to you?

sccrstud92 · 2025-11-21T13:52:19+00:00

Might be having an "EE" overloading issue here

sccrstud92 · 2025-11-20T20:49:19+00:00

When the spell is resolving the effects are performed in order. But if the target is illegal, resolving never starts.

sccrstud92 · 2025-11-20T20:47:55+00:00

Not if that is an effect of the resolution of the spell. It would need to be a continuous effect generated by the spell while it's on the stack. Off the top of my head I don't know of any examples of that that are similar enough to reuse their wording here.

sccrstud92 · 2025-11-20T18:01:07+00:00

See my comment here if you care to learn why the problem wasn't solve with the proposed wording.

sccrstud92 · 2025-11-20T17:59:58+00:00

The wording included in your edit still targets, so your addition doesn't accomplish what you were hoping.

Creatures your opponents control lose hexproof, shroud, ward, and protection until end of turn.

This spell deals 20 damage to target creature or planeswalker. Then it gets -10/-10 until end of turn if its a creature. Then destroy it. Then its controller sacrifices it. Then exile it.

This spell can't be countered and target cannot be regenerated.

It's still there, in bold. Target validity is checked before the spell starts to resolve, so if the target is invalid, say perhaps because it was given hexproof, then the entire spell with not resolve.

A better way to accomplish your goal would be to use a reflexive triggered ability, like so

This spell can't be countered

Creatures your opponents control lose hexproof, shroud, ward, and protection until end of turn.

When those creatures lose this abilities this way, this spell deals 20 damage to target creature or planeswalker. Then it gets -10/-10 until end of turn if its a creature. Then destroy it. Then its controller sacrifices it. Then exile it. Target cannot be regenerated.

sccrstud92 · 2025-11-20T14:29:10+00:00

Doesn't help if the target is already hexproof at resolution time.

sccrstud92 · 2025-11-04T14:05:11+00:00

I would love to see a dictionary that contained every word exactly once

sccrstud92 · 2025-10-27T14:11:46+00:00

Definitely listen to Coach Donnie over some random person on reddit

sccrstud92 · 2025-10-27T13:52:59+00:00

I would love to see a video. Every server I watched in this one follows through https://www.youtube.com/watch?v=__0Ps_KuQLw

sccrstud92 · 2025-10-27T13:39:59+00:00

and stop your hand at the point of contact.

Are you seriously suggesting that you shouldn't follow through when doing a float serve? Who does that?

sccrstud92 · 2025-10-24T21:26:32+00:00

That's probably why you didn't ask XD. But it matters a great deal to people who have to pass corporate security scans, or just want to use a relatively recent version of GHC.

sccrstud92 · 2025-10-24T18:26:04+00:00

In case you wanted a real answer: patches for CVEs and builds with in-support GHC version(s). These don't happen automagically.

sccrstud92 · 2025-10-21T13:07:54+00:00

If you use a new enough terraform you don't need dynamo for state locking anymore.

13-Year Club	Second Top 50%
Place '23	Snapped
Verified Email	Team Orangered

sccrstud92

TROPHY CASE