[mercury-users] Lisp-like syntax for Mercury (Mercury & macros)

[Ralph Becket]

Ralph Becket, Friday,  7 June 2002:

I mean, of course,
> 
> (:- (main IO0 IO)
>     (, (io__command_line_arguments Args)
>        (; (, (= Args (list))
>              (handle_args no no)
>              (sort IO0 IO))
>           (, (= Args (list Input))
>              (handle_args (yes Input) no)
>              (sort IO0 IO))
>           (, (= Args (list Input Output))
>              (handle_args (yes Input) (yes Output))
>              (sort IO0 IO))
>           (, (= Args (list _ _ _ | _))
>              (io__write_string "Usage: ..." IO0 IO)))))

- Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------