Opened 10 years ago

Closed 10 years ago

Last modified 7 years ago

#55 closed defect (fixed)

Combine function bindings in projection dictionaries

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

Description (last modified by benl)

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 (4)

comment:1 Changed 10 years ago by benl

  • Description modified (diff)

comment:2 Changed 10 years ago by benl

  • Version set to 0.1.2

comment:3 Changed 10 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed

comment:4 Changed 7 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

Note: See TracTickets for help on using tickets.