diff options
| author | Araq <rumpf_a@web.de> | 2015-03-16 23:24:33 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2015-03-16 23:24:33 +0100 |
| commit | ee99771afac1bd343016550d55b19d05ed6923b4 (patch) | |
| tree | 18720f30a4b7f831001fae67920abd5c154f6339 | |
| parent | cc26308044d9098db35e9f985659519b5770eb3b (diff) | |
| download | Nim-ee99771afac1bd343016550d55b19d05ed6923b4.tar.gz | |
fixes #2359
| -rw-r--r-- | compiler/guards.nim | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/guards.nim b/compiler/guards.nim index 33dd9b961..cedd2be2b 100644 --- a/compiler/guards.nim +++ b/compiler/guards.nim @@ -658,7 +658,7 @@ proc factImplies(fact, prop: PNode): TImplication = if a == b: return ~a return impUnknown else: - internalError(fact.info, "invalid fact") + return impUnknown of mAnd: result = factImplies(fact.sons[1], prop) if result != impUnknown: return result @@ -672,7 +672,7 @@ proc factImplies(fact, prop: PNode): TImplication = of someLe: result = impliesLe(fact, prop.sons[1], prop.sons[2]) of someLt: result = impliesLt(fact, prop.sons[1], prop.sons[2]) of mInSet: result = impliesIn(fact, prop.sons[2], prop.sons[1]) - else: internalError(prop.info, "invalid proposition") + else: result = impUnknown proc doesImply*(facts: TModel, prop: PNode): TImplication = assert prop.kind in nkCallKinds |