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
  • #50

Closed
Open
Opened Oct 10, 2019 by Mart Lubbers@mlubbersDeveloper

Compiler crashes for some malformed existential data type

With the latest greatest nightly iTasks compiler when running:

clm -IL iTasks -IL Platform -IL TCPIP -IL ABCInterpreter -IL GraphCopy -IL Dynamics -dynamics test

The following error occurs and the compiler crashes

 Error [test.icl,6,SDSNoNotify]: sds type variable already defined
readPtr: Not a pointer of this heapclm: reading compiler result failed: No such file or directory
module test

import iTasks

:: SDSNoNotify sds p r w = E.sds: SDSNoNotify (sds p r w) & RWShared sds

Start = 42

It is obvious that this is an erroneous program but it shouldn't lead to a compiler crash.

The even simpler program:

module test
:: T a = E.a: T a
Start = 42

crashes with a similar error:

Error [test.icl,3,T]: a type variable already defined
readPtr: Not a pointer of this heapclm: reading compiler result failed: No such file or directory
Edited Oct 10, 2019 by Mart Lubbers
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#50