Updated some functions, renamed some stuff, added from_to IN STDLIB #627

Merged
zxq9 merged 5 commits from github/fork/radrow/stdlib-extensions into master 2019-09-02 16:56:57 +09:00
zxq9 commented 2019-08-29 20:41:35 +09:00 (Migrated from gitlab.com)

Created by: radrow

*Created by: radrow*
zxq9 commented 2019-08-30 20:12:35 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

What's the motivation for this change? The semantics hasn't changed and the function is slower for legitimate use cases.

*Created by: UlfNorell* What's the motivation for this change? The semantics hasn't changed and the function is slower for legitimate use cases.
zxq9 commented 2019-08-30 20:13:57 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Same here. It doesn't seem worth the extra check just to get a special error for negative indices.

*Created by: UlfNorell* Same here. It doesn't seem worth the extra check just to get a special error for negative indices.
zxq9 commented 2019-08-30 20:14:59 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

  function from_to(a : int, b : int) : list(int) = [a..b]
*Created by: UlfNorell* ```suggestion:-0+0 function from_to(a : int, b : int) : list(int) = [a..b] ```
zxq9 commented 2019-08-30 20:47:32 +09:00 (Migrated from gitlab.com)

Created by: radrow

Rollbacked

*Created by: radrow* Rollbacked
zxq9 commented 2019-08-30 20:48:05 +09:00 (Migrated from gitlab.com)

Created by: radrow

Moved if to the abort. It will keep meaningful error message and not affect performance

*Created by: radrow* Moved `if` to the `abort`. It will keep meaningful error message and not affect performance
zxq9 commented 2019-08-30 20:56:05 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

This is no longer used.

*Created by: UlfNorell* This is no longer used.
zxq9 commented 2019-08-30 21:07:08 +09:00 (Migrated from gitlab.com)

Created by: radrow

Fixd

*Created by: radrow* Fixd
zxq9 commented 2019-08-30 21:28:44 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Review: Approved

*Created by: UlfNorell* **Review:** Approved
zxq9 commented 2019-09-02 16:56:48 +09:00 (Migrated from gitlab.com)

Created by: hanssv

Review: Approved

*Created by: hanssv* **Review:** Approved
zxq9 commented 2019-09-02 16:56:57 +09:00 (Migrated from gitlab.com)

Merged by: UlfNorell at 2019-09-02 07:56:57 UTC

*Merged by: UlfNorell at 2019-09-02 07:56:57 UTC*
Sign in to join this conversation.
No description provided.