Play

Ticket Change Details
Login
Overview

Artifact ID: 64b8e21548c7dd6be9ea7cc0d8ebda3be04f146cee76a57e441eb1a47996d9a5
Ticket: 199c72582a6355a08320891f7d9072e25c257ec6
Is it possible to write the 'if' word?
User & Date: robin.hansen on 2021-03-18 09:47:11
Changes

  1. icomment:
    A person dropped by the discord to share his difficulty in defining an 'if' word. Here's the code that fails, and which might be faulty:
    
        Compilation failed:
    
        65 | defmulti: select-quote
        66 | type: Bool [ a... -- b... ] [ a... -- b... ] -- [ a... -- b... ]
        67 | when: True
        68 |   drop swap drop
        69 | when: False
        70 |   rotate drop drop
        
        The type of 'select-quote' is specified to be: Union [ a... -- b... ] [ a... -- b... ] -- [ a... -- b... ].
        However, it seems that the actual type is: Union b c -- Union
    
  2. login: "robin.hansen"
  3. mimetype: "text/x-fossil-plain"
  4. severity changed to: "Important"
  5. status changed to: "Open"
  6. subsystem changed to: "Compiler"
  7. title changed to: "Is it possible to write the 'if' word?"
  8. type changed to: "Bug"