summaryrefslogtreecommitdiff
path: root/libraries/base/Unsafe
Commit message (Expand)AuthorAgeFilesLines
* Fixes around unsafeCoerce#Krzysztof Gogolewski2023-04-031-5/+25
* Cleanup BuiltInSyntax vs UserSyntaxMatthew Pickering2022-06-281-2/+0
* Fix bad interaction between withDict and the SpecialiserSimon Peyton Jones2022-05-171-0/+9
* docs: Add note to unsafeCoerce function that you might want to use coerce [sk...Matthew Pickering2022-03-031-0/+4
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Fix typosKrzysztof Gogolewski2021-12-251-2/+2
* Reword: representation instead of levitysheaf2021-06-101-3/+3
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-23/+9
* Fix fake import in GHC.Exception.Type boot moduleSylvain Henry2021-03-201-1/+0
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-1/+1
* Fix typosBrian Wignall2021-02-061-2/+2
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-1/+1
* Implement BoxedRep proposalAndrew Martin2020-12-141-1/+1
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Remove redundant "do", "return" and language extensions from baseHécate2020-09-231-1/+0
* Remove all the unnecessary LANGUAGE pragmasHécate2020-08-051-3/+9
* Add a Lint hadrian rule and an .hlint.yaml file in base/Hécate2020-07-181-1/+1
* Update `base` packageSylvain Henry2020-06-171-2/+1
* codeGen: Don't discard live case binders in unsafeEqualityProof logicBen Gamari2020-06-141-0/+5
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-3/+6
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-52/+294
* Doc-only fixesAlec Theriault2018-11-221-4/+5
* base: Add references to Notes for certain special importsChaitanya Koparkar2018-09-051-2/+2
* Built-in Natural literals in CoreSylvain Henry2018-06-151-0/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-5/+3
* Spelling in commmentsSimon Peyton Jones2013-10-161-3/+3
* Constant-fold `__GLASGOW_HASKELL__` CPP conditionalsHerbert Valerio Riedel2013-09-171-4/+1
* Remove Hugs98 specific codeHerbert Valerio Riedel2013-09-171-5/+0
* Fix build order when building with integer-simpleIan Lynagh2013-05-191-0/+1
* Remove nhc98-specific files and contentIan Lynagh2013-02-151-4/+0
* typosGabor Greif2013-01-251-2/+2
* Grotesque hack on Unsafe.CoerceSimon Peyton Jones2013-01-251-1/+24
* Eta expand unsafeCoerce and add a pointer to the NoteSimon Peyton Jones2012-02-171-1/+4
* Update base for latest Safe Haskell.David Terei2011-10-251-0/+3
* Update base for new Safe Haskell designDavid Terei2011-10-251-0/+1
* Use explicit language extensions & remove extension fields from base.cabalsimonpj@microsoft.com2011-01-281-1/+2
* Tweak an importIan Lynagh2008-08-061-1/+1
* Avoid using deprecated flagsIan Lynagh2008-06-161-1/+1
* Improve docs for unsafeCoerceMalcolm.Wallace@cs.york.ac.uk2008-04-221-2/+10
* Spelling onlysimonpj@microsoft.com2008-04-221-1/+1
* In docs for unsafeCoerce, point to unsafeCoerce#simonpj@microsoft.com2008-04-211-0/+3
* Hugs only: fix location of unsafeCoerceRoss Paterson2007-04-061-1/+1
* Unsafe.Coerce doesn't need PreludeIan Lynagh2007-04-051-0/+1
* put 'unsafeCoerce' in a standard locationMalcolm.Wallace@cs.york.ac.uk2006-11-131-0/+30
View Lorry Controller Status