Skip to main content

1. Home
2. Questions
3. AI Assist
4. Tags
5. Challenges
6. Chat
7. Articles
8. Users
9. Companies
11. Communities for your favorite technologies. Explore all Collectives
Stack Internal

Stack Overflow for Teams is now called Stack Internal. Bring the best of human thought and AI automation together at your work.
Try for free Learn more
Bring the best of human thought and AI automation together at your work. Learn more

Why is `Prelude.mod` a total function?

Asked 1 year, 6 months ago

Modified 1 year, 6 months ago

Viewed 89 times

1

Why is Prelude.mod marked as a total function when it is not defined when the second argument is zero?

Main> :total mod
Prelude.Num.mod is total

I was just bit by this and ran into a run-time error, even though Idris2 assured me my functions were total.

Improve this question

asked Jul 1, 2024 at 15:40

impresso's user avatar

2092 silver badges10 bronze badges

2

2

it's a known bug

joel
– joel

2024年07月03日 13:24:31 +00:00
Commented Jul 3, 2024 at 13:24
1

I see. Don't you want to post it as an answer?

impresso
– impresso

2024年07月12日 03:05:59 +00:00
Commented Jul 12, 2024 at 3:05

Add a comment |

Related questions

'map' function for objects (instead of arrays)

How can a time function exist in functional programming?

Index inside map() function

Related questions

'map' function for objects (instead of arrays)

How can a time function exist in functional programming?

Index inside map() function

What is an appropriate type for smart contracts?

Non-total functions are treated as constants at the type level?

why can't a function take monadic value and return another monadic value?

Idris2: Nested WITH clause

Optimal way of defining constants in a python function

Load 5 more related questions Show fewer related questions

0

Sorted by: Reset to default

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.

Your Answer

Draft saved

Draft discarded

Sign up or log in

Sign up using Google

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

Post as a guest

Name

Email

Required, but never shown

By clicking "Post Your Answer", you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Explore related questions

See similar questions with these tags.