Opened 7 years ago

Closed 7 years ago

#243 closed defect (fixed)

Partially applied primitives get stuck during evaluation.

Reported by: benl Owned by: benl
Priority: high Milestone: 0.3.0
Component: Core Type Checker Version: 0.2.1
Keywords: Cc:

Description

:eval..
let succ = addInt [:R0# R0# R0#:] (1 [R0#] ())
in  succ (2 [R0#] ())
;;

Change History (3)

comment:1 Changed 7 years ago by benl

  • Owner set to benl
  • Status changed from new to assigned

The core type checker should reject this. Primitive need to be fully applied. It should use the UPrim constructor of Bound to determine whether a function is primitive.

comment:2 Changed 7 years ago by benl

  • Priority changed from normal to high

comment:3 Changed 7 years ago by benl

  • Resolution set to fixed
  • Status changed from assigned to closed
Note: See TracTickets for help on using tickets.