Opened 8 years ago

Closed 7 years ago

#233 closed defect (wontfix)

Panic : thread_transX: can't find a witness for ...

Reported by: erikd Owned by:
Priority: normal Milestone: 0.3.0
Component: Core Transforms Version: 0.1.2
Keywords: Cc:

Description

Simple code inspired by Lennart Augustsson Mu language (strict dialect of Haskell)

test1
 = False && error "Should short circuit."

test2
  = do	print "42"
	error "This should fail."

main ()
 = do	test1
	test2
	()

Results in an ugly panic:

ddc: PANIC in Core.Thread
 thread_transX: can't find a witness for Just (MkHeadLazy, * -> HeadLazy *0, [forall test2. HeadLazy Unit => Unit])

Change History (2)

comment:1 Changed 7 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

comment:2 Changed 7 years ago by benl

  • Milestone set to 0.3.0
  • Resolution set to wontfix
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.