[m-dev.] Partial Instantiated structures (free -> free)

[Mark Wielaard]

Mark Wielaard wrote:
>  
> Value is magically bound. It would help me a lot if there was a predicate
> bind/1 which always succeeds and binds whatever its argument is (to
> something bogus). This seems clumpsy, but it would fix the logic for me,
> because I have no problem with: 
> 
> 	( map__search(Map, Key, Value0) ->
> 		Value = Value0
> 	;
> 		bind(Value),
> 		error("Couldn't find the key")
> 	),
> 	use(Value).
> 
> Because now I know whatever hapens I can be sure that Value is bound.
> Even when error hapens to succeed one day.

No, wait I take that back. I have a problem with that. Just forget that I
suggested that and only consider the error/n:

> Maybe it would be nicer if you had error/n where the first argument was
> the string and the rest of the arguments are the variables that should be
> bound after error succeeds - which would be never. So you would write
> this as error("Couldn't find the key", Value).

Sorry about that,

Mark!