[Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=835

--- Comment #32 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #31)

> There's a simple solution, which you're missing because you're still trying
> to cram ValueCastable into a Value-shaped hole where it doesn't fit -- a
> ValueCastable *isn't* a Value

that you recommend this indicates that you do not understand the paradigm
of the abstraction concept, at all.  it also explains why you keep recommending
to duplicate the entire dsl.py source code.

can i leave it with you to work out, over the next few weeks/months, why
that is? don't think about it too much, but just consider over time,
"why would luke say that that idea isn't going to work? why is it
 critically and fundamentally important that all objects be upcast to
 the highest-identified Cast function, no exceptions"?

-- 
You are receiving this mail because:
You are on the CC list for the bug.