Newest at the top
2024-10-06 14:56:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 14:50:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 14:48:15 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-06 14:47:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
2024-10-06 14:47:42 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-06 14:47:10 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:9437:9b0:9ccc:15a4) |
2024-10-06 14:45:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 14:38:50 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
2024-10-06 14:35:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-06 14:31:07 +0200 | <tomsmeding> | but with the downside that an unsuspecting user who forgets the type application will get ambiguous types |
2024-10-06 14:30:51 +0200 | <tomsmeding> | I mean, something that doesn't require 9.10 is -XAllowAmbiguousTypes and require a type application |
2024-10-06 14:29:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 14:29:41 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
2024-10-06 14:29:36 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-06 14:27:38 +0200 | <haskellbridge> | <eldritchcookie> yes its a hack but hopefully it is forward compatible what we wil do |
2024-10-06 14:24:18 +0200 | <int-e> | oh *that* was the question |
2024-10-06 14:23:27 +0200 | <tomsmeding> | admittedly it's a bit of a hack |
2024-10-06 14:23:12 +0200 | <tomsmeding> | eldritchcookie: https://play.haskell.org/saved/6TcPRARS |
2024-10-06 14:22:13 +0200 | <int-e> | heh, heisenbridge? |
2024-10-06 14:21:27 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/PkaCnRCyIJXsiIbMXlrywuss/bOMDyOoAcr8 (22 lines) |
2024-10-06 14:21:27 +0200 | <haskellbridge> | <eldritchcookie> src/Qon/Bits.hs:25:3: error: [GHC-39999] |
2024-10-06 14:21:20 +0200 | <tomsmeding> | hm, lemme try |
2024-10-06 14:21:10 +0200 | <tomsmeding> | I see |
2024-10-06 14:20:53 +0200 | <haskellbridge> | <eldritchcookie> yes but naively trying this on a class method doesn't work |
2024-10-06 14:20:18 +0200 | <tomsmeding> | ghc >= 9.10 though |
2024-10-06 14:20:02 +0200 | <tomsmeding> | eldritchcookie ^ |
2024-10-06 14:19:57 +0200 | <yahb2> | f Bool :: Bool -> Bool |
2024-10-06 14:19:56 +0200 | <tomsmeding> | % :t f Bool |
2024-10-06 14:19:54 +0200 | <yahb2> | f Int :: Int -> Int |
2024-10-06 14:19:54 +0200 | <tomsmeding> | % :t f Int |
2024-10-06 14:19:51 +0200 | <yahb2> | <no output> |
2024-10-06 14:19:51 +0200 | <tomsmeding> | % f :: forall a -> a -> a ; f t x = x |
2024-10-06 14:19:43 +0200 | <yahb2> | <no output> |
2024-10-06 14:19:43 +0200 | <tomsmeding> | % :set -XRequiredTypeArguments |
2024-10-06 14:19:41 +0200 | <tomsmeding> | :set -XRequiredTypeArguments |
2024-10-06 14:19:09 +0200 | <tomsmeding> | to what extent is visible forall already a thing in released GHCs? |
2024-10-06 14:18:38 +0200 | <tomsmeding> | right, that was the replacement |
2024-10-06 14:18:33 +0200 | <lambdabot> | arising from a use of ‘finiteBitSize’ |
2024-10-06 14:18:33 +0200 | <lambdabot> | • No instance for (FiniteBits Integer) |
2024-10-06 14:18:33 +0200 | <lambdabot> | error: |
2024-10-06 14:18:31 +0200 | <tomsmeding> | > finiteBitSize (0 :: Integer) |
2024-10-06 14:18:14 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-06 14:18:13 +0200 | <lambdabot> | *Exception: Data.Bits.bitSize(Integer) |
2024-10-06 14:18:12 +0200 | <int-e> | > bitSize (0 :: Integer) |
2024-10-06 14:18:10 +0200 | <tomsmeding> | phew :p |
2024-10-06 14:18:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-06 14:18:06 +0200 | <tomsmeding> | ah I see |
2024-10-06 14:18:04 +0200 | <int-e> | sorry |
2024-10-06 14:18:02 +0200 | <int-e> | tomsmeding: no, bitSize is |
2024-10-06 14:18:02 +0200 | <tomsmeding> | that's the traditional method |