Check to see if TVar's are locked in check_read_only (fixes #7815)

Authored by fryguybob on Apr 8 2013, 6:18 PM.

Description

Check to see if TVar's are locked in check_read_only (fixes Trac #7815)

Details

Committed
Ian Lynagh <ian@well-typed.com>Apr 17 2013, 2:49 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF78f9189e49b5: Fix page numbering in the users guide PDF; fixes #7793
Branches
Unknown
Tags
Unknown