@@ -524,7 +524,10 @@ data LikeNat = LikeZ | LikeS
524524
525525isLikeNat :: IState -> Name -> Maybe LikeNat
526526isLikeNat ist cn
527− -- if the optimisation is disabled then nothing looks like Nat
527+ -- Nat itself is special-cased in Idris/DataOpts.hs,
528+ -- which will have already happened at this point.
529+
530+ -- If the optimisation is disabled then nothing looks like Nat.
528531 | GeneralisedNatHack `notElem` opt_optimise (idris_options ist)
529532 = Nothing
530533