Based on Joe's confirmation that predicate types aren't intended to be directly
instantiated, I would've expected a compile error: "Illegal constructor: cannot
construct predicate classes." Or somesuch.
Thanks for the suggestion regarding the better square constructor.
Best regards,
Loryn Jenkins
On 09/03/2013, at 1:38 AM, John Benediktsson <mrj...@gmail.com> wrote:
> What do you think it should do instead?
>
> Perhaps set both slots on rectangle and then throw an error if the predicate
> is invalid?
>
> Although a better square constructor would only take one length:
>
> : <square> ( n -- square ) dup <rectangle> ; inline
>
>
>
>
>
> On Fri, Mar 8, 2013 at 12:26 AM, Loryn Jenkins <lor...@gmail.com> wrote:
>> I was playing around with predicates today.
>>
>> It seems that when I attempt to run a default constructor directly on a
>> predicate type, I get a macro expansion error.
>>
>> I quickly grepped through the codebase in basis and extras, and couldn't
>> find an instance where a constructor was used off a predicate class.
>>
>> Can I assume that predicate types are not intended to be instantiated
>> directly? Or am I assuming that erroneously?
>>
>>
>>
>> TUPLE: rectangle width height ;
>> PREDICATE: square < rectangle [ width>> ] [ height>> ] bi = ;
>> C: <rectangle> rectangle
>> C: <square> square
>>
>> 3 3 <rectangle>
>> --> 12
>>
>> 3 3 <square>
>> --> The word <square> cannot be executed because it failed to compile
>>
>> Macro expansion of “boa” threw an error
>>
>> The error was:
>> Assertion failed
>> got 0
>> expect 1
>>
>> [Traceback]
>>
>> ------------------------------------------------------------------------------
>> Symantec Endpoint Protection 12 positioned as A LEADER in The Forrester
>> Wave(TM): Endpoint Security, Q1 2013 and "remains a good choice" in the
>> endpoint security space. For insight on selecting the right partner to
>> tackle endpoint security challenges, access the full report.
>> http://p.sf.net/sfu/symantec-dev2dev
>> _______________________________________________
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
> ------------------------------------------------------------------------------
> Symantec Endpoint Protection 12 positioned as A LEADER in The Forrester
> Wave(TM): Endpoint Security, Q1 2013 and "remains a good choice" in the
> endpoint security space. For insight on selecting the right partner to
> tackle endpoint security challenges, access the full report.
> http://p.sf.net/sfu/symantec-dev2dev
> _______________________________________________
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
------------------------------------------------------------------------------
Symantec Endpoint Protection 12 positioned as A LEADER in The Forrester
Wave(TM): Endpoint Security, Q1 2013 and "remains a good choice" in the
endpoint security space. For insight on selecting the right partner to
tackle endpoint security challenges, access the full report.
http://p.sf.net/sfu/symantec-dev2dev
_______________________________________________
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk
