[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 #33 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #32)
> (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.

no, I do understand it, but I'm saying ValueCastable is conveniently useful for
a completely *separate* purpose than what UserValue and ValueCastable were
originally designed for. ValueCastable is useful for that separate purpose
where you have a python object that isn't a Value, shouldn't behave like a
Value, doesn't have Value's API, etc. but you want it to be
implicitly/explicitly convertible to a Value.

(also, you're coming across as implying i'm too stupid to understand right away
so you will just continue doing what you want and disregard what I think --
please don't do that, it's not constructive)

>  it also explains why you keep
> recommending
> to duplicate the entire dsl.py source code.

no, that's a completely separate thing with separate reasoning having nothing
to do with this....don't confuse them. again, simd value stuff is a different
conversation that shouldn't be here -- we both agree it uses UserValue, the
rest is irrelevant for smtlib2 support (smtlib2 won't be simd-ifyable for now).

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