search

disco-lang / disco

Functional teaching language for use in a discrete mathematics course
Other
164 stars 23 forks source link

Crash when finding size of graph #399

Open byorgey opened 4 months ago

byorgey commented 4 months ago 
Disco> |emptyGraph|
disco: Impossible! numOp1' on non-VNum VGraph Empty
CallStack (from HasCallStack):
  error, called at src/Disco/Interpret/CESK.hs:507:15 in disco-0.1.6-inplace:Disco.Interpret.CESK

Not sure if this is supposed to be a type error, or if it's supposed to work.