Re: [fricas-devel] [PATCH] remove "NegativeInteger"

2019-07-22 Thread Waldek Hebisch
oldk1331 wrote: > This type "NegativeInteger" is only referenced in compiler > and not used anymore, I think it's safe to remove. Yes, please commit. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS -

[fricas-devel] [PATCH] remove "NegativeInteger"

2019-07-22 Thread oldk1331
This type "NegativeInteger" is only referenced in compiler and not used anymore, I think it's safe to remove. diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 8aba6f5c..ef05461b 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -341,7 +341,7 @@