Paste: Macro expansion error on predicate class constructor

Author: Loryn Jenkins
Mode: factor
Date: Fri, 8 Mar 2013 02:07:43
Plain Text |
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]

New Annotation

Summary:
Author:
Mode:
Body: