diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-13 15:39:11 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-13 15:39:11 +0000 |
| commit | cc151c42790e02d60d6a0ab18c9c56da76f0ea51 (patch) | |
| tree | a18f08a52324cf3e472d917c6e4efb059a8647ab /src/GF/Source/AbsGF.hs | |
| parent | 41114389790ec79a3861a3995aee1a7da59581f0 (diff) | |
added needsTypeCheck parameter to CommandInfo. The argument to the command is typechecked only if needsTypeCheck=True
Diffstat (limited to 'src/GF/Source/AbsGF.hs')
0 files changed, 0 insertions, 0 deletions