Impossible to define unfeasible conditions in CPT

Originally reported on Google Code with ID 13

CPT do not allow for conditions that are certainly unfeasible. Examples:

lea> a = ?('x','y')
lea> ?! (a==a -> 's',
 ...      _   -> 't')
Lea error: forbidden to define 'other' clause for complete clause set
lea> ?! (a!=a -> 's',
 ...      _   -> 't')
Lea error: some clause condition is not feasible

Even if such conditions are not usual, it should be more sensible to accept them and
produce expected results (e.g. 's' with probability 1 in first case, 't' with probability
1 in second case). See treatment of if-then-else in programming languages.

Reported by pde@n-side.com on 2015-03-16 22:28:25

Comments (2)