Newest at the top
| 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 |
| 2024-10-06 14:17:55 +0200 | <tomsmeding> | Proxy? |
| 2024-10-06 14:17:37 +0200 | <haskellbridge> | <eldritchcookie> no i am making my own prelude/ standard library so my FiniteBits class has bitSize |
| 2024-10-06 14:17:23 +0200 | <tomsmeding> | ScopedTypeVariables is DEPRECATED? |
| 2024-10-06 14:17:12 +0200 | <int-e> | and it's deprecated :P |
| 2024-10-06 14:16:36 +0200 | <int-e> | the full type of bitSize is forall a. Bits a => a -> Int |
| 2024-10-06 14:16:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:16eb:2432:285b:7ea6) |
| 2024-10-06 14:15:47 +0200 | <int-e> | Not sure I understand, do you want https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/scoped_type_variables.html ? |
| 2024-10-06 14:14:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e9cd:7fb:f9ec:b14e) (Ping timeout: 245 seconds) |
| 2024-10-06 14:13:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 14:10:38 +0200 | <haskellbridge> | <eldritchcookie> this doesn't work due to the forall b -> introducing a new b and not visibly quantifiying the one already in scope |
| 2024-10-06 14:09:41 +0200 | <haskellbridge> | <eldritchcookie> like bitSize :: forall b -> Natural |
| 2024-10-06 14:09:26 +0200 | <haskellbridge> | <eldritchcookie> is there a method to visibly quantify a class method? |
| 2024-10-06 14:06:24 +0200 | <ncf> | and #categorytheory, to mention only IRC channels |
| 2024-10-06 14:01:54 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-10-06 14:00:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |