diff options
| author | Omar Rizwan <omar@omar.website> | 2023-10-23 21:15:51 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2023-10-23 21:15:51 +0000 |
| commit | ff4786a94e9e4ef9c08a012105bb0c214f537ad4 (patch) | |
| tree | 4249dfddf66009cc25133dd61a286cd0ed83e91f /user-programs/haippi7/ssh:/git@git.s-ol.nu:public | |
| parent | display: Catch missing shader (diff) | |
| download | folk-ff4786a94e9e4ef9c08a012105bb0c214f537ad4.tar.gz folk-ff4786a94e9e4ef9c08a012105bb0c214f537ad4.zip | |
evaluator: Don't claimize patterns with verbs
Suppresses one weird overeager unification error with sprites
vs. shapes drawing (it was doing `/someone/ claims /anyone/ wishes`
and all the wildcards lined up with the other statement in a bad way)
Diffstat (limited to 'user-programs/haippi7/ssh:/git@git.s-ol.nu:public')
0 files changed, 0 insertions, 0 deletions