Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
C
compiler
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 16
    • Issues 16
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Operations
    • Operations
    • Incidents
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
  • clean-compiler-and-rts
  • compiler
  • Issues
  • #67

Closed
Open
Opened Apr 16, 2020 by Mart Lubbers@mlubbersDeveloper

Runtime error in the compiler when using generics in conjunction with abstract newtypes

test.icl

module test

import StdGeneric
import T

generic g a :: a
derive g T

Start = 42

T.dcl

definition module T

:: T a (=: T a)

T.icl

implementation module T

:: T a =: T a

With both the master and the iTask compiler:

Run time error, rule 'buildTypeDefInfo' in module 'generics1' does not match
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: clean-compiler-and-rts/compiler#67