{-# OPTIONS -fno-warn-missing-methods #-}

-- needs -package haskell-src

{- HetCATS/Haskell/Logic_Haskell.hs

$Id$

Authors: C. Maeder

Year: 2003

Here is the place where the class Logic is instantiated for Haskell.

Also the instances for Syntax an Category.

todo:

- writing real functions

-}

module Logic_Haskell where

import AS_Basic_CASL

import Print_AS_Basic

import HParser

import SymbolParser

import ParsecInterface

import Logic

-- a dummy datatype for the LogicGraph and for identifying the right

-- instances

data Haskell = Haskell deriving (Show)

instance Language Haskell where -- default definition is okay

type Sign = HsDecls

data Morphism = NoMorphism deriving (Eq, Show)

instance Category Haskell Sign Morphism

where

-- abstract syntax, parsing (and printing)

instance Syntax Haskell HsDecls

SYMB_ITEMS SYMB_MAP_ITEMS

where

parse_basic_spec Haskell = Just(toParseFun hParser ())

parse_symb_items Haskell = Just(toParseFun symbItems ())

parse_symb_map_items Haskell = Just(toParseFun symbMapItems ())

data Haskell_Sublogics = NoSublogic deriving (Eq, Ord, Show)

instance LatticeWithTop Haskell_Sublogics where

type Sentence = HsDecls

data Symbol = DummySymbol deriving (Eq, Ord, Show)

data RawSymbol = DummyRawSymbol deriving (Eq, Show)

instance Sentences Haskell Sentence () Sign Morphism Symbol where

instance StaticAnalysis Haskell HsDecls Sentence ()

SYMB_ITEMS SYMB_MAP_ITEMS

Sign

Morphism

Symbol RawSymbol where

instance Logic Haskell Haskell_Sublogics

HsDecls Sentence SYMB_ITEMS SYMB_MAP_ITEMS

Sign

Morphism

Symbol RawSymbol () where