@@ -97,6 +97,7 @@ applyDataOptRT n tag arity uniq args
9797
9898 -- Nat special cases
9999 -- TODO: Would be nice if this was configurable in idris source!
100+ -- Issue #1597 https://github.com/idris-lang/Idris-dev/issues/1597
100101 doOpts (NS (UN z) [nat, prelude]) []
101102 | z == txt "Z" && nat == txt "Nat" && prelude == txt "Prelude"
102103 = Constant (BI 0)
@@ -105,4 +106,3 @@ applyDataOptRT n tag arity uniq args
105106 = App (App (P Ref (sUN "prim__addBigInt") Erased) k) (Constant (BI 1))
106107
107108 doOpts n args = mkApp (P (DCon tag arity uniq) n Erased) args
108−