CakeML/cakeml
Support for multi-case functions defined by pattern matching
オープン
#264 opened on 2017/04/23
enhancementhelp wantedhigh effortlow rewarduser experience
Repository metrics
- Stars
- (1,169 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
Function declarations currently only accept variables as arguments, but in SML one can do pattern matching with a declaration. CakeML AST does not support that, but the parser could generate the corresponding case expression on the tuple of argument variables. Or the AST could be augmented, if necessary, to do something more sophisticated.