Logo
Explore Help
Sign In
GitHub/gf-core
1
0
Fork 1
You've already forked gf-core
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-13 23:09:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
3,098 Commits 21 Branches 11 Tags
9ca8db1cdb30a8249aebecf735031ec203e3cde0
Commit Graph

11 Commits

Author SHA1 Message Date
krasimir
b180ac61a5 merge some changes from the latest version of Data.Binary. Makes the binary decoding faster 2009-08-06 11:19:04 +00:00
krasimir
d965cf4755 simplification: decodeFile doesn't have to check that the file is empty anymore 2009-06-24 12:21:09 +00:00
krasimir
f20dd0ba4a make the Functor Get instance in Data.Binary strict to be sure that the decoder is strict 2009-06-24 12:08:32 +00:00
krasimir
f81a309eb1 bugfix: Use openBinaryFile in Data.Binary.decodeFile. It makes difference only on Windows 2009-06-24 12:07:38 +00:00
krasimir
cf4efe0acc explicitly close the file handle in Data.Binary.decodeFile 2009-06-24 10:39:03 +00:00
krasimir
9e3131f169 make Data.Binary.decodeFile stricter. It seems like this fixes the file locking problem on Linux 2009-06-23 11:56:22 +00:00
krasimir
d1276ee52b don't use ByteString.copy in Data.Binary this makes it far too slow 2009-03-12 09:03:55 +00:00
krasimir
418b33f9ae optimized Data.Binary.Get.getWord8 2009-01-22 15:01:41 +00:00
bringert
9167185d21 Include MachDeps.h in Data/Binary.hs, since it uses WORD_SIZE_IN_BITS. Without this, the Binary Word instance would be wrong on 64-bit machines. 2008-11-19 20:30:57 +00:00
krasimir
ee8a2738e2 Data.Binary should use Data.ByteString.copy when decoding ByteStrings 2008-10-28 16:43:00 +00:00
krasimir
ebd98056ce binary serialization for PGF 2008-10-28 13:57:10 +00:00
Powered by Gitea Version: 1.25.5 Page: 74ms Template: 6ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API