[ ghc-Feature Requests-1209056 ] functions without implementations

SourceForge.net noreply at sourceforge.net
Thu May 26 06:37:25 EDT 2005


Feature Requests item #1209056, was opened at 2005-05-26 12:53
Message generated for change (Settings changed) made by c_maeder
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1209056&group_id=8032

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
>Priority: 2
Submitted By: C Maeder (c_maeder)
Assigned to: Nobody/Anonymous (nobody)
Summary: functions without implementations

Initial Comment:
Allow to declare a function by only supplying its type
signature.
This feature shall enhance rapid prototyping by fixing
an interface but leaving some functions unimplemented.

Currently this can be (only) simulated by supplying
dummy implementations, like 

f :: ...
f = undefined

Since it is possible to supply dummy data types by
"data T" (not followed by "="), allowing functions
without implementations seems almost to be a logical
consequence. Surely, the compiler should emit warnings
for missing implementations.

It would be nice if such function declarations via type
signatures could be repeated at any position within a
module. 


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1209056&group_id=8032


More information about the Glasgow-haskell-users mailing list