小编Ari*_*ild的帖子

在Ubuntu上找不到模块`Test.QuickCheck'

我在我的文件顶部导入QuickCheck:

import Test.QuickCheck
...
Run Code Online (Sandbox Code Playgroud)

编译文件ghc Lab1.hs给我这个错误:

Lab1.hs:1:8:
    Could not find module `Test.QuickCheck'
    Use -v to see a list of the files searched for.
Failed, modules loaded: none.
Run Code Online (Sandbox Code Playgroud)

我尝试了apt-cache搜索quickcheck并得到了一个可怕的包列表.尝试安装libghc-test-framework-dev只是因为我认为名称似乎合适,但错误仍然存​​在.

如何安装QuickCheck模块?

testing ubuntu haskell

8
推荐指数
1
解决办法
6937
查看次数

woff 文件中有多种字体粗细?

我将包含多个粗细的 .ttc 字体文件上传到https://onlinefontconverter.com并获得了 .woff 文件。它包含所有权重吗?我如何将它们与 CSS 一起使用?

通过以下声明,我只能使用普通和粗体,尽管原始 .ttc 文件中有更多的粗细。

@font-face {
    font-family: 'Avenir';
    src: url('avenir.woff') format('woff');
}
Run Code Online (Sandbox Code Playgroud)

css font-face woff

5
推荐指数
0
解决办法
532
查看次数

没有字段的抽象类上的NotSerializableException

这是我的小班:

import java.io.Serializable;
public abstract class SerializableCallback extends Callback
implements Serializable {
    private static final long serialVersionUID = 4544768712188843966L;
    public abstract void handleMessage(Message msg);
}
Run Code Online (Sandbox Code Playgroud)

这是它更加苗条的父母Callback:

public abstract class Callback {
    public abstract void handleMessage(Message msg);
}
Run Code Online (Sandbox Code Playgroud)

这是我的测试:

public void testSerialization() throws IOException, ClassNotFoundException {
    SerializableCallback c = new SerializableCallback() {
        private static final long serialVersionUID = -4852385037064234702L;
        @Override
        public void handleMessage(Message msg) {
            callbackMethod();
        }
    };

    FileOutputStream fos = new FileOutputStream(FILE);
    ObjectOutputStream out = new ObjectOutputStream(fos);
    out.writeObject(c); …
Run Code Online (Sandbox Code Playgroud)

java serialization

3
推荐指数
1
解决办法
558
查看次数

如何在 Apache 中启用 XDebug 而不是在 CLI 中?

我想在 PHP 中启用由 Apache 运行的 XDebug 模块,但不是为 CLIphp命令启用。我在 Mac 上,我安装了 Homebrew 的 Apache (httpd) 和 PHP 7.3。

启用 XDebug 时,PHP 运行速度要慢得多,即使我没有调试给定的php命令。

php apache xdebug

1
推荐指数
1
解决办法
846
查看次数

标签 统计

apache ×1

css ×1

font-face ×1

haskell ×1

java ×1

php ×1

serialization ×1

testing ×1

ubuntu ×1

woff ×1

xdebug ×1