Project

General

Profile

Actions

Bug #59

open

Typing hole when using dot operator

Bug #59: Typing hole when using dot operator

Added by SpiceGuid - over 17 years ago. Updated over 17 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
01/29/2009
Due date:
% Done:

0%

Estimated time:
Platform:
All
Resolution:
Triage Stage:

Description

There is a serious typing hole that allows for exemple to apply a binary operation to only one argument.

define Int
  add(Int a, Int b)
    =
  a + b. 

define Int -> Int
  id(Int -> Int f)
    =
  f.

define $U
   $T x .$T -> $U f
     =
   f(x). 

define Int
  bad_operation (Int n)
    =
  n . id (add).

Updated by SpiceGuid - over 17 years ago Actions #1

Certainly n . id (add) is the same as add(n), isn't it ?
So, why does it compile ?

Actions

Also available in: PDF Atom