[haskell]加载两个文件

retuor

Stdm 是个模块，实现了一些命题逻辑的运算符，比如 /\ 表示 and, ==> 表示蕴涵.....

现在想在我的代码里使用这个模块，应该如何做呢。我现阶段是在 ghci 交互环境中学习 haskell 的，一般把代码写在一个文件中，比如 3.hs，然后 :load 进来。 书上建议通过 :load Stdm 来使用这个模块，但我自己的代码在 3.hs 中，如果我再  ：load 3 的话，Stdm 就消失了。

我看了点 ghci 的 help，好像 :add 可以添加文件，但试用了还是不行。

Prelude> :l Stdm
[1 of 1] Compiling Stdm             ( Stdm.lhs, interpreted )
Ok, modules loaded: Stdm.
*Stdm> True /\ False
False
*Stdm> :l "6.4/3"
[1 of 1] Compiling Main             ( 6.4/3.hs, interpreted )
Ok, modules loaded: Main.
*Main> True /\ False

<interactive>:1:5: Not in scope: `/\'

Prelude> :load Stdm
[1 of 1] Compiling Stdm             ( Stdm.lhs, interpreted )
Ok, modules loaded: Stdm.
*Stdm> True /\ False
False
*Stdm> :add "6.4/3"
[1 of 2] Compiling Main             ( 6.4/3.hs, interpreted )
Ok, modules loaded: Stdm, Main.
*Main> True /\ False

<interactive>:1:5: Not in scope: `/\'

3.hs 目前是空的，而 Stdm 在附件中。谢谢。


Stdm.lhs.gz (13.36 KB, 下载次数: 65)

2010-07-18 16:46 上传

点击文件名下载附件

SNYH

:m +XXOO    （如果模块已经注册）

如果是文件形式
:add Stdm.hs
:add 3.hs

:load Stdm.hs
:add 3.hs

我自己测试的都是可行的

  另外 你的附件是一个patch 不是Stdm模块


你试试 Stdm./\

retuor

m + 试过不行啊。模块文件是 Stdm.lhs，应该放什么地方好。我把它放当前目录的，m + 的时候得到错误信息

Prelude> :m +Stdm
module `Stdm' is not loaded
Prelude> :m + Stdm
module `Stdm' is not loaded
Prelude> :m + "Stdm"
syntax:  :module [+/-]

M1 ...

Mn
Prelude>                  
Leaving GHCi.

用  load 还能加载。

另外这个模块有点特殊，是所谓 "literate" 风格的。

The program is a "literate script".  Each line that begins with "> "
is Haskell source code that can be executed; all other lines are
documentation which will be ignored by the compiler.

retuor

我试下，什么是 patch，它里头有  module Stdm where 的。

retuor

Stdm./\  这个可以了。

是否有办法去掉 Stdm 呢？这样写有点麻烦。

SNYH

不好意思。。 我下载一看很多 > > 和英文  就以为是一个patch文件 以为你弄错了 以前没见过 lhs 这种 l 代表latex?

想去掉Stdm.  要么在Stdm.lhs 的module Stdm((/\)) where修改这句  导出/\
或者在你的3.hs  里面  import Stdm ((/\))

测试的 Stdm.lhs不动

1. 
   
2. [snyh@snyh shm]$ cat 3.hs
   
3. import Stdm ((/\))
   
4. 
   
5. ttt = False /\ True
   
6. [snyh@snyh shm]$ ghci 3.hs
   
7. GHCi, version 6.12.1: http://www.haskell.org/ghc/  :? for help
   
8. Loading package ghc-prim ... linking ... done.
   
9. Loading package integer-gmp ... linking ... done.
   
10. Loading package base ... linking ... done.
    
11. Loading package ffi-1.0 ... linking ... done.
    
12. [1 of 2] Compiling Stdm             ( Stdm.lhs, interpreted )
    
13. [2 of 2] Compiling Main             ( 3.hs, interpreted )
    
14. Ok, modules loaded: Stdm, Main.
    
15. *Main> ttt
    
16. False
    
17. *Main>
    

复制代码

retuor

果然行了，谢谢。