1{-
2  SockeyeBackendIsabelle.hs: Backend for generating Isabelle/HOL for Sockeye
3
4  Part of Sockeye
5
6  Copyright (c) 2018, ETH Zurich.
7
8  All rights reserved.
9
10  This file is distributed under the terms in the attached LICENSE file.
11  If you do not find this file, copies can be found by writing to:
12  ETH Zurich D-INFK, CAB F.78, Universitaetstrasse 6, CH-8092 Zurich,
13  Attn: Systems Group.
14-}
15
16module SockeyeBackendIsabelle
17( compile ) where
18
19import qualified SockeyeSymbolTable as ST
20import qualified SockeyeAST as AST
21
22compile :: ST.Sockeye -> AST.Sockeye -> String
23compile symTable ast = "Isabelle backend not yet implemented"
24