Add another piece of dubious evidence

stedolan / counterexamples

Counterexamples in Type Systems

http://counterexamples.org

372 stars 23 forks source link

Add another piece of dubious evidence #2

Closed yallop closed 3 years ago

yallop commented 3 years ago

The identification of the Scala time-travelling bug can be traced back to an earlier unsound interaction between quotation and GADTs in BER MetaOCaml.

stedolan commented 3 years ago

Thanks!