1%include polycode.fmt
2
3%if false
4  Error: DSL for error definition
5   
6  Copyright (c) 2009 ETH Zurich.
7  All rights reserved.
8  
9  This file is distributed under the terms in the attached LICENSE file.
10  If you do not find this file, copies can be found by writing to:
11  ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
12%endif
13
14%if false
15
16> {-# OPTIONS_GHC -fglasgow-exts #-}
17
18> module Hamlet where
19
20> import Debug.Trace
21
22> import Semantics
23> import Expressions
24
25> import Conditionals
26> import References
27> import Functions
28> import Structures
29> import Arrays
30> import StaticArrays
31> import Enumerations
32> import Skip
33> import Typedef
34
35> import Libc.Assert
36> import Libc.Printf
37
38> import Run
39> import Compile
40
41%endif
42
43