Changes between Version 3 and Version 4 of ValidateMonoLiterals


Ignore:
Timestamp:
Feb 6, 2015 10:46:07 AM (5 years ago)
Author:
merijn
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ValidateMonoLiterals

    v3 v4  
    9797This clearly only makes sense for monomorphic literals (else, how would you decide which validation function to use!), hence the name `ValidateMonoLiterals`
    9898
     99=== Summary ===
     100
     101To clarify the exact change proposed:
     102
     103When the ValidateMonoLiterals is enabled GHC would replace `fromString`/`fromInteger`/`fromList` expressions originating from literals with a Typed TH splice along the lines of `validate` for all monomorphic cases. Validating polymorphic cases at compile time is not really a sensible thing to do, so those should just remain with the current behaviour.
     104
    99105== Various Bikesheds in Need of Colouring ==
    100106