Opened 2 years ago

Last modified 19 months ago

#410 new bug

Check for case on foreign abstract data.

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

Description

The following dies in conversion to Salt.

module Test
import foreign abstract type
 Foo : Data

where

f (x: Foo)
 = case x of
        y       -> 5

Change History (2)

comment:1 Changed 19 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:2 Changed 19 months ago by benl

  • Type changed from defect to bug
Note: See TracTickets for help on using tickets.