I just tried to define a dynamic rule [] -> …, which didn’t work.

Dummies can easily be changed to a MoreUniqueAndVerySillyName. Empty lists are too common.

Submitted on 16 July 2004 at 22:47

STR-148, martin:
/**
* Test of a dynamic rule with [] lhs
*/
module test66
imports dynamic-rules-refactored
strategies

main =
define-Var
; define-List

 ; <Foo> []
 ; debug(!"Applied: ")

define-Var =
rules(Foo : x -> “Var”)

define-List =
rules(Foo : [] -> “List”)