Opened 3 years ago

Last modified 17 months ago

#348 new bug

Restrict types of things that can be foreign imported

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Source Typing Version: 0.4.1
Keywords: Cc:

Description

The parameter and result of functions imported from sea land should have primitive type only, but we don't check this fact.

Change History (4)

comment:1 Changed 3 years ago by benl

  • Milestone changed from 0.4.2 to 0.5.0

comment:2 Changed 2 years ago by benl

  • Milestone 0.5.0 deleted

comment:3 Changed 17 months ago by benl

  • Type changed from defect to bug

comment:4 Changed 17 months ago by benl

  • Component changed from Unknown to Source Typing
Note: See TracTickets for help on using tickets.