osa1

{-# OPTIONS_GHC -Wall #-}

{-# LANGUAGE BangPatterns        #-}
{-# LANGUAGE DeriveAnyClass      #-}
{-# LANGUAGE DeriveGeneric       #-}
{-# LANGUAGE OverloadedStrings   #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE ViewPatterns        #-}

-- | Definition of a lattice, as described in section 4.2.

osa1

mod macros;

#[macro_use]
pub mod reply;

#[cfg(test)]
mod tests {
    #[test]
    fn it_works() {
    }

osa1

// It turns out people don't really know how to handle Alt+ch, or F[1, 12] keys
// etc. in ncurses apps. Even StackOverflow is full of wrong answers and ideas.
// The key idea is to skip ncurses' key handling and read stuff from the stdin
// buffer manually. Here's a demo. Run this and start typing. ESC to exit.
//
// To compile:
//
// $ gcc demo.c -o demo -lncurses -std=gnu11

#include <ncurses.h>

osa1

Glasgow Haskell Compiler, Version 8.1.20160805, stage 2 booted by GHC version 8.0.1
Using binary package database: /home/omer/haskell/ghc_2/inplace/lib/package.conf.d/package.cache
loading package database /home/omer/haskell/ghc_2/inplace/lib/package.conf.d
wired-in package ghc-prim mapped to ghc-prim-0.5.0.0
wired-in package integer-gmp mapped to integer-gmp-1.0.0.1
wired-in package base mapped to base-4.9.0.0
wired-in package rts mapped to rts
wired-in package template-haskell mapped to template-haskell-2.11.0.0
wired-in package ghc mapped to ghc-8.1
wired-in package dph-seq not found.

osa1

typedef struct {
  StgInt closure_type_off;
  StgInt closure_desc_off;
} StgProfInfo;

extern StgWord16 closure_flags[];

typedef struct {
  StgWord size;
  StgWord bitmap[];

osa1

==================== STG syntax: ====================
2016-06-06 08:13:50.663576479 UTC

Main.$WCons [InlPrag=INLINE]
  :: forall a_art. a_art -> Main.List a_art -> Main.List a_art
[GblId[DataConWrapper],
 Arity=2,
 Caf=NoCafRefs,
 Str=DmdType <S,U><S,U>m1,

osa1

find . -iname "*.o" | xargs nm -A | grep -E "*cvA3_info*"

osa1

[section ""data" . $wsum_closure" {
     $wsum_closure:
         const $wsum_info;
 },
 $wsum_entry() //  [R2]
         { info_tbl: [(cMo,
                       label: block_cMo_info
                       rep:StackRep []),
                      (cMv,
                       label: $wsum_info

osa1

// When highlighting nicks in messages, we search words in the `nicks` set. To
// be able to highlight substrings, we need offsets of chars, but
// `SplitWhitespace` doesn't provide that. Also, our separators are actually a
// set of characters, like {'<', '(', etc} instead of a fixed character or
// whitespace.

struct WordIdxs<'s> {
    /// The whole thing, not a shrinking slice.
    str : &'s str,

osa1

pub struct TrieNode {
    vec : Vec<(char, Box<TrieNode>)>,
    word : bool,
}

impl TrieNode {
    pub fn new() -> TrieNode {
        TrieNode {
            vec: vec![],
            word: false,