aboutsummaryrefslogtreecommitdiff
path: root/kernel/writer.sats
blob: 43881b1403e436fcc361755dfdc503bf213179b4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#define N 2000

datatype color =
  | Black 
  | Blue 
  | Green 
  | Cyan 
  | Red 
  | Magenta 
  | Brown 
  | LightGray 
  | DarkGray 
  | LightBlue 
  | LightGreen 
  | LightCyan 
  | LightRed 
  | Pink 
  | Yellow 
  | White 


typedef screenChar = @{ ascii_character = char, color_code = uint8}

vtypedef writer  = [l : agz] @{position = [a:int | a >= 0 && a < N] int (a), color_code = uint8 , buffer = (@[screenChar][N] @ l | ptr l)}

fun print_char(c : char) : void