Skip to content
Commit 93aa39b9 authored by Stefan's avatar Stefan
Browse files

Fix exponential blowup witnessed when loading a module 

* src/lexp.ml (hcs_table): New memoization table.
(mkSusp_memo): New function.
parent 2abe090c
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment