Ticket #55 (closed defect: fixed)

Opened 6 years ago

Last modified 5 years ago

Combine function bindings in projection dictionaries

Reported by: benl Owned by:
Priority: blocker Milestone: 0.1.3
Component: Source Desugarer Version: 0.1.2
Keywords: Cc:

Description (last modified by benl) (diff)

With this file

data Foo

project Foo where
  f True  = 4
  f False = 5

We get

benl@humboldt:~/devel/ddc/ddc-head-work$ bin/ddc -c test/Broken-skip/MergeProjFuns/Foo.ds 
./test/Broken-skip/MergeProjFuns/Foo.ddc.c:48: error: redefinition of ‘Foo_project_Foo_f’
./test/Broken-skip/MergeProjFuns/Foo.ddc.c:17: error: previous definition of ‘Foo_project_Foo_f’ was here
ddc: PANIC in Main.Invoke
        invokeSeaCompiler: compilation of C file failed.
            pathC = ./test/Broken-skip/MergeProjFuns/Foo.ddc.c

Desugarer needs to merge both equations for f.

Test is T55-MergeProjFuns

Change History

Changed 6 years ago by benl

  • description modified (diff)

Changed 6 years ago by benl

  • version set to 0.1.2

Changed 5 years ago by benl

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.