"no arguments" displayed as empty string #224

New Issue

2020-02-13T18:59:45+09:00

zxq9 commented

2020-02-13 18:59:45 +09:00

(Migrated from gitlab.com)

Created by: radrow

AESO> function g(x) = x + 1
AESO> g() 
Error:
1:1:Cannot unify int
         and 
when checking the application at line 1, column 1 of
  g : (int) => int
to arguments

Speaking of the

1:1:Cannot unify int
         and

part. This is highly dangerous for the aesthetics

*Created by: radrow* ``` AESO> function g(x) = x + 1 AESO> g() Error: 1:1:Cannot unify int and when checking the application at line 1, column 1 of g : (int) => int to arguments ``` Speaking of the ``` 1:1:Cannot unify int and ``` part. This is highly dangerous for the aesthetics

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#224