carp: Can't emit symbol of generic type: e : a at line 4, column 3 in

[rgkirch]

(Project.config "echo-c" true)

(defn identity [e]
  e)

(defn main []
  (ignore (identity 1)))

$ carp no.carp -x
carp: Can't emit symbol of generic type: e : a at line 4, column 3 in 'C:/Users/richie/Documents/org/projects/handmade-carp/no.carp'
CallStack (from HasCallStack):
  error, called at src\Emit.hs:210:15 in CarpHask-0.5.3.0-ApN9rIbXYwcLYnQzPVPog2:Emit

The below code is fine.

(defn identity [e]
  e)

(defn main []
  (ignore (identity 1)))

[rgkirch]

unchanged in 0.5.4

$ no.carp -x
carp: Can't emit symbol of generic type: e : a at line 4, column 3 in 'C:/Users/richie/Documents/org/projects/handmade-carp/no.carp'
CallStack (from HasCallStack):
  error, called at src\Emit.hs:210:15 in CarpHask-0.5.4.0-87JIpmrraTG7CSL8jDUlEk:Emit

[scolsen]

e will always be generic until the function is actually used since the function is polymorphic. I'm not sure of the best way to update the echo-c option to handle this yet.