Impossible to define unfeasible conditions in CPT
Issue #13
closed
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)
-
Account Deleted -
repo owner - changed status to closed
- Log in to comment
Reported by
pde@n-side.com
on 2015-03-18 00:18:50 - Status changed:Verified